Theorem CategoryTheory.Pretriangulated.rot_of_dist_triangle

Modification history