mathlib3
1831d852
- feat(category_theory/limits): Preserves epi of preserves pushout. (#12084)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(category_theory/limits): Preserves epi of preserves pushout. (#12084)
Author
erdOne
Parents
84f12be1
Loading
mathlib3
1831d852 - feat(category_theory/limits): Preserves epi of preserves pushout. (#12084)
