Theorem CategoryTheory.Functor.triangleIso

Modification history