Commit 2022-02-11 13:11 89fab7c0

View on Github →

chore: bump to nightly-2022-02-11 (#192)

Estimated changes

added theorem List.getLast_append
added theorem List.getLast_concat
added theorem List.getLast_cons
added theorem List.getLast_eq_get
deleted theorem List.last_append
deleted theorem List.last_concat
deleted theorem List.last_cons
deleted theorem List.last_eq_get
deleted theorem List.last_singleton
added theorem List.getLast_cons_cons
added theorem List.getLast_singleton
deleted def List.last