mathlib3
91d5aa6b - feat(category_theory/arrow): arrow.mk_inj (#7456)

Commit

4 years ago

feat(category_theory/arrow): arrow.mk_inj (#7456) From LTE Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

jcommelin

Parents