mathlib
5159a8fb - feat(simplex_category): various epi/mono lemmas (#11924)

Commit

3 years ago

feat(simplex_category): various epi/mono lemmas (#11924) Co-authored-by: Joël Riou <37772949+joelriou@users.noreply.github.com>

Author

joelriou

Parents