mathlib
db305fb5 - feat(data/set/finite): fintype_of_univ_finite (#6164)

Commit

4 years ago

feat(data/set/finite): fintype_of_univ_finite (#6164) From `lean-liquid`

Author

jcommelin

jcommelin

Parents

Loading