Theorem CategoryTheory.Functor.relativelyRepresentable.pullback₃.snd_snd_eq_p₃

Modification history