mathlib
ed9be880 - docs(category_theory): mention notation for identity homs (#16410)

Commit

3 years ago

docs(category_theory): mention notation for identity homs (#16410)

Author

jcommelin

jcommelin

Parents

Loading