Mathlib Changelog
v3
Changelog
About
Github
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
data/finset/basic.lean
modified
theorem
finset.mem_empty_iff
modified
theorem
finset.not_mem_empty
modified
def
finset.subset_aux
modified
def
finset
modified
def
nodup_list