Theorem CategoryTheory.Triangulated.TStructure.shift_le

Modification history