mathlib
fe5e4ce6 - feat(category_theory/limits): (co)limits in full subcategories (#16188)

Commit

3 years ago

feat(category_theory/limits): (co)limits in full subcategories (#16188)

Author

TwoFX

TwoFX

Parents

Loading