basic): set.to_finset_empty (#3361)

Commit

5 years ago

feat(data/fintype/basic): set.to_finset_empty (#3361) Add set.to_finset_empty, analogously to set.to_finset_univ.

Author

cfbolz

Parents