Commit 2021-11-23 08:56 48b4c973

View on Github →

chore: bump to nightly-2021-11-23 (#104)

Estimated changes

modified theorem List.length_singleton
modified theorem List.mem_insert_self
modified theorem List.mem_singleton
modified theorem List.singleton_append