Theorem CategoryTheory.Functor.relativelyRepresentable.stableUnderBaseChange

Modification history