Theorem CategoryTheory.predicateShift_iff

Modification history