Theorem CategoryTheory.Functor.relativelyRepresentable.lift₃_p₃

Modification history