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

Generalises results to use `is_limit` rather than the canonical limit.





leanprover-community/mathlib,leanprover-community/mathlib