mathlib
3a91a8f6 - feat(category_theory/arrow): is_iso, mono, epi instances for maps between arrows

Commit

4 years ago

feat(category_theory/arrow): is_iso, mono, epi instances for maps between arrows

Author

jcommelin

jcommelin

Parents

Loading