Theorem CategoryTheory.Triangulated.TStructure.shift_ge

Modification history