Mathlib Changelog
v4
Changelog
About
Github
Commit
2022-09-23 00:56
112430b4
View on Github →
chore: update lean + std4 09-22 (
#435
)
Estimated changes
Modified
Mathlib.lean
Modified
Mathlib/Data/Array/Basic.lean
deleted
theorem
Array.data_get?_eq_getElem?
deleted
theorem
Array.data_get_eq_getElem
deleted
theorem
Array.get?_eq_getElem?
deleted
theorem
Array.get?_len_le
deleted
theorem
Array.get?_push_eq
deleted
theorem
Array.get?_push_lt
deleted
theorem
Array.get?_set
deleted
theorem
Array.get?_set_eq
deleted
theorem
Array.get?_set_ne
deleted
theorem
Array.getData_eq_getElem
deleted
theorem
Array.getElem?_eq_get
deleted
theorem
Array.getElem_mapIdx
deleted
theorem
Array.getElem_mapIdxM_map
deleted
theorem
Array.getElem_ofFn
deleted
theorem
Array.getElem_ofFn_loop
deleted
theorem
Array.get_eq_getElem
deleted
theorem
Array.get_push
deleted
theorem
Array.get_push_eq
deleted
theorem
Array.get_push_lt
deleted
theorem
Array.get_set
deleted
theorem
Array.get_set_eq
deleted
theorem
Array.get_set_ne
deleted
theorem
Array.size_mapIdx
deleted
theorem
Array.size_mapIdxM_Id
modified
theorem
Array.size_mapIdxM_map
deleted
theorem
Array.size_ofFn
deleted
theorem
Array.size_ofFn_loop
deleted
theorem
Array.size_reverse
deleted
theorem
Array.size_reverse_rev
deleted
theorem
Array.size_swap!
deleted
theorem
Array.toArray_data
deleted
theorem
List.toArrayAux_data
deleted
theorem
getElem!_fin
deleted
theorem
getElem?_fin
deleted
theorem
getElem?_neg
deleted
theorem
getElem?_pos
deleted
theorem
getElem_fin
Modified
Mathlib/Data/Option/Basic.lean
Modified
Mathlib/Data/UnionFind.lean
Deleted
Mathlib/Init/Data/Option/Instances.lean
Modified
Mathlib/Logic/Equiv/LocalEquiv.lean
Modified
Mathlib/Mathport/Syntax.lean
Modified
Mathlib/Tactic/Alias.lean
Modified
Mathlib/Tactic/RestateAxiom.lean
Modified
Mathlib/Tactic/Substs.lean
Modified
Mathlib/Tactic/TryThis.lean
Modified
lean-toolchain
Modified
lean_packages/manifest.json
Modified
scripts/nolints.json
Modified
test/Have.lean
Modified
test/toAdditive.lean