Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-17 05:32 1831d852

View on Github →

feat(category_theory/limits): Preserves epi of preserves pushout. (#12084)

Estimated changes