mathlib
c2c31b52 - chore(field_theory/*): Fix lint (#16149)

Commit

3 years ago

chore(field_theory/*): Fix lint (#16149) Satisfy the `fintype_finite` linter.

Author

YaelDillies

YaelDillies

Parents

Loading