mathlib
94d4e70e - chore(category_theory): removed stupid example (#18701)

Commit

2 years ago

chore(category_theory): removed stupid example (#18701)

Author

joelriou

joelriou

Parents

Loading