Def category_theory.triangulated.inv_rot_comp_rot_inv

Modification history