Def category_theory.triangulated.triangle.inv_rotate

Modification history