Theorem CategoryTheory.Pretriangulated.inv_rot_of_dist_triangle

Modification history