Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-12 18:08 9713e960

View on Github →

chore(*): update to Lean 3.21.0c (#4578) The only real change is the removal of notation for vector.cons.

Estimated changes

Modified leanpkg.toml

Modified src/computability/halting.lean

Modified src/computability/primrec.lean

Modified src/computability/tm_to_partrec.lean

Modified src/computability/turing_machine.lean

Modified src/data/bitvec/core.lean

Modified src/data/num/bitwise.lean

Modified src/data/sym.lean

modified theorem sym.cons_of_coe_eq

Modified src/data/vector2.lean

modified theorem vector.cons_head

modified theorem vector.cons_tail

modified theorem vector.cons_val

Modified src/group_theory/sylow.lean

modified theorem sylow.mem_fixed_points_mul_left_cosets_iff_mem_normalizer

Modified src/number_theory/sum_four_squares.lean

Modified src/topology/list.lean