Theorem CategoryTheory.Functor.essImage.unit_isIso

Modification history