Commit 2025-02-03 17:43 3685941c

View on Github →

chore: bump toolchain to v4.17.0-rc1 (#21377)

Estimated changes

added theorem List.getElem?_idxOf
deleted theorem List.getElem?_indexOf
added theorem List.getElem_idxOf
deleted theorem List.getElem_indexOf
added theorem List.idxOf_cons_eq
added theorem List.idxOf_cons_ne
added theorem List.idxOf_get
added theorem List.idxOf_get?
added theorem List.idxOf_inj
added theorem List.idxOf_le_length
added theorem List.idxOf_of_not_mem
deleted theorem List.indexOf_cons_eq
deleted theorem List.indexOf_cons_ne
deleted theorem List.indexOf_cons_self
deleted theorem List.indexOf_get
deleted theorem List.indexOf_get?
deleted theorem List.indexOf_inj
deleted theorem List.indexOf_le_length
deleted theorem List.indexOf_of_not_mem
deleted theorem List.exists_mem_enum
deleted theorem List.exists_mem_enumFrom
added theorem List.exists_mem_zipIdx
deleted theorem List.forall_mem_enum
deleted theorem List.forall_mem_enumFrom
added theorem List.forall_mem_zipIdx
deleted theorem List.get?_enum
deleted theorem List.get?_enumFrom
deleted theorem List.get_enum
deleted theorem List.get_enumFrom
deleted theorem List.mem_enum_iff_get?
deleted theorem List.mk_mem_enum_iff_get?