Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-04-24 22:18 78d28c5c

View on Github →

fix(*): update to lean

Estimated changes

Modified data/finset.lean

added theorem finset.insert_val_of_not_mem

modified theorem finset.mem_pi

modified def finset.pi.empty

added theorem finset.pi_val

Modified data/list/basic.lean

modified theorem list.append_eq_nil

Modified leanpkg.toml

Modified set_theory/zfc.lean

added theorem pSet.resp.eval_val

deleted def pSet.resp.eval_val