Theorem CategoryTheory.Triangulated.TStructure.predicateShift_GE

Modification history