mathlib3
d8ac3380 - lint(data/zmod/quotient): fix `fintype`/`finite` (#17613)

Commit

3 years ago

lint(data/zmod/quotient): fix `fintype`/`finite` (#17613)

Author

urkud

urkud

Parents

Loading