Theorem CategoryTheory.Pretriangulated.inv_rot_of_distTriang

Modification history