Def category_theory.triangulated.rot_comp_inv_rot_inv

Modification history