Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-07 15:23 4a37c284

View on Github →

feat(data/fintype/basic): set.to_finset_eq_empty_iff (#7075)

Estimated changes