Theorem CategoryTheory.Triangulated.TStructure.le_of_isLE

Modification history