Theorem CategoryTheory.Functor.relativelyRepresentable.lift₃_p₁

Modification history