Theorem CategoryTheory.Functor.relativelyRepresentable.pullback₃.hom_ext

Modification history