Theorem CategoryTheory.Functor.relativelyRepresentable.pullback₃.snd_fst'_eq_p₁

Modification history