Theorem CategoryTheory.Functor.relativelyRepresentable.lift₃_p₂

Modification history