Commit 2020-07-11 10:11 d7ac180f
View on Github →feat(data/fintype/basic): set.to_finset_empty (#3361) Add set.to_finset_empty, analogously to set.to_finset_univ.
feat(data/fintype/basic): set.to_finset_empty (#3361) Add set.to_finset_empty, analogously to set.to_finset_univ.