Commit 2022-07-18 10:51 92d435b7

View on Github →

feat: add getElem_fin lemmas (#304)

Estimated changes

modified theorem Array.get?_eq_getElem?
modified theorem Array.getData_eq_getElem
modified theorem Array.get_eq_getElem
added theorem getElem!_fin
added theorem getElem?_fin
added theorem getElem_fin
modified theorem UnionFind.parent_lt
modified theorem UnionFind.rank_lt