Theorem CategoryTheory.Functor.relativelyRepresentable.pullback₃.fst_snd_eq_p₂

Modification history