Theorem CategoryTheory.Triangulated.TStructure.predicateShift_LE

Modification history