Theorem CategoryTheory.Functor.relativelyRepresentable.of_isIso

Modification history