Theorem CategoryTheory.Functor.essImage.ofNatIso

Modification history