Theorem CategoryTheory.Triangulated.TStructure.le_monotone

Modification history