Commit 2023-01-07 07:42 51c56a92

View on Github →

chore: bump to nightly-2023-01-06 (#1397)

Estimated changes

modified theorem List.inits_reverse
modified theorem List.length_tails
modified theorem List.map_reverse_inits
modified theorem List.map_reverse_tails
modified theorem List.tails_reverse