Type Families
ActivePublic

Details

Rule Type
Personal
Author
goldfire
Applies To
Differential Revisions

Description

When any of these conditions are met:

Affected files contains FamInstEnv
Affected files contains CoAxiom

Take these actions the first time this rule matches:

Add rule author as reviewer.