Theorem CategoryTheory.predicateShift_predicateShift

Modification history