Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-08-27 13:33 73ae11bc

View on Github →

refactor(data/finset): fix formatting issues

Estimated changes

modified theorem finset.mem_empty_iff
modified theorem finset.not_mem_empty
modified def finset.subset_aux
modified def finset
modified def nodup_list