[Merged by Bors] - feat(Algebra/Category/Ring): Under.pushout preserves finite limits for properties with stable equalizers#39572

chrisflav wants to merge 6 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

chrisflav:has-stable-equalizerschrisflav/mathlib4:has-stable-equalizersCopy head branch name to clipboard