mathlib
07f1235d - chore(category_theory/opposites): make hom explicit in lemmas (#8088)

Commit

4 years ago

chore(category_theory/opposites): make hom explicit in lemmas (#8088)

Author

jcommelin

jcommelin

Parents

Loading