mathlib3
49cbce22 - chore(data/fintype/basic): set.to_finset_univ generalization (#11174)

Commit

4 years ago

chore(data/fintype/basic): set.to_finset_univ generalization (#11174)

Author

kmill

kmill

Parents

Loading