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

Modification history