Theorem CategoryTheory.predicateShift_zero

Modification history