Def CategoryTheory.PredicateShift

Modification history