mathlib
09c23456 - feat(category_theory/over): epis and monos in the over category (#5684)

Commit

5 years ago

feat(category_theory/over): epis and monos in the over category (#5684)

Author

b-mehta

b-mehta

Parents

Loading