Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-04-18 22:33 c1aff1b5

View on Github →

style(tactic/omega): whitespace and minor tweaks missed the PR review cycle

Estimated changes

modified theorem list.func.add_nil
modified theorem list.func.equiv_of_eq
modified theorem list.func.equiv_symm
modified theorem list.func.get_map'
modified theorem list.func.get_map
modified theorem list.func.get_neg
modified theorem list.func.get_nil
modified theorem list.func.get_pointwise
modified theorem list.func.get_sub
modified theorem list.func.length_add
modified theorem list.func.length_neg
modified theorem list.func.length_pointwise
modified theorem list.func.length_sub
modified theorem list.func.nil_add
modified theorem list.func.nil_pointwise
modified theorem list.func.nil_sub
modified theorem list.func.pointwise_nil
modified theorem list.func.sub_nil
added structure omega.ee_state
modified def omega.nat.form.equiv
modified def omega.nat.form.holds
modified def omega.nat.form.repr
modified def omega.nat.form.sat
modified def omega.nat.form.valid
modified inductive omega.nat.form
modified def omega.nat.univ_close
modified def omega.nat.is_nnf
modified theorem omega.nat.is_nnf_nnf
modified theorem omega.nat.le_and_le_iff_eq
modified theorem omega.nat.neg_free_neg_elim
modified def omega.nat.nnf
modified def omega.nat.push_neg
modified theorem omega.nat.push_neg_equiv
modified def omega.nat.canonize
modified def omega.nat.preterm.val
modified theorem omega.nat.preterm.val_add
modified theorem omega.nat.preterm.val_sub
modified theorem omega.nat.val_canonize