Theorem CategoryTheory.Pretriangulated.rot_of_distTriang

Modification history