Mathlib v3 is deprecated. Go to Mathlib v4

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.

Estimated changes