Commit 2024-08-21 02:48 dcea6223

View on Github →

chore: cleanup some List lemmas (#15718)

Estimated changes

added theorem Primrec.list_getElem?
modified theorem List.mem_enum_iff_get?