Theorem CategoryTheory.Triangulated.TStructure.mem_of_isGE

Modification history