Theorem CategoryTheory.Triangulated.TStructure.GE_antitone

Modification history