Theorem CategoryTheory.Triangulated.TStructure.mem_of_isLE

Modification history