Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-04 16:45 4a0e844b

View on Github →

feat(data/finset): to_finset empty iff (#11088)

Estimated changes