mathlib
3f409bd9 - chore(category_theory/*): Lint (#16366)

Commit

3 years ago

chore(category_theory/*): Lint (#16366) Satisfy the `fintype_finite` linter.

Author

YaelDillies

YaelDillies

Parents

Loading