Commit 2022-03-21 14:23 260cceb2

View on Github →

chore: bump to nightly (#241) List.length_map was added to core and the arguments are the other way around.

Estimated changes

modified theorem List.get_map
deleted theorem List.length_map