Commit 2022-02-17 14:53 b6afb0df

View on Github →

chore: bump to nightly-2022-02-17 (#195)

Estimated changes

modified theorem Array.get_eq_get
added theorem List.Fin.exists_iff
modified theorem List.get?_eq_get
modified theorem List.get?_eq_some
modified theorem List.get_append
modified theorem List.get_cons_drop
deleted theorem List.get_map'
modified theorem List.get_map
deleted theorem List.get_map_rev
modified theorem List.get_mem
modified theorem List.get_of_eq
modified theorem List.get_of_mem
modified theorem List.get_repeat
modified theorem List.get_singleton
modified theorem List.get_zero
modified theorem List.mem_iff_get
modified theorem List.mem_iff_get?
modified theorem List.get_cons_zero