): use `finite` instead of `fintype` (#17553)

Commit

3 years ago

lint(*/finsupp/*): use `finite` instead of `fintype` (#17553) Also golf some proofs.

Author

urkud

Parents

mathlib3 5fd3186f - lint(*/finsupp/*): use `finite` instead of `fintype` (#17553)