Commit 2022-09-23 00:56 112430b4

View on Github →

chore: update lean + std4 09-22 (#435)

Estimated changes

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