pullbacks): generalise pullback mono lemmas (#8302)

Commit

4 years ago

feat(category_theory/limits/pullbacks): generalise pullback mono lemmas (#8302) Generalises results to use `is_limit` rather than the canonical limit.

Author

b-mehta

Parents

739b353d

mathlib afd0f92b - feat(category_theory/limits/pullbacks): generalise pullback mono lemmas (#8302)

mathlib
afd0f92b - feat(category_theory/limits/pullbacks): generalise pullback mono lemmas (#8302)