Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-09 00:41 12945004

View on Github →

feat(category_theory/limits): preserving pullbacks (#5668) This touches multiple files but it's essentially the same thing as all my other PRs for preserving limits of special shapes - I can split it up if you'd like but hopefully this is alright?

Estimated changes