mathlib
dfd17f2f - feat(data/fintype/basic): `set.to_finset_of_finset` (#16460)

Commit

3 years ago

feat(data/fintype/basic): `set.to_finset_of_finset` (#16460)

Author

kmill

kmill

Parents

Loading