Theorem Primrec.list_getElem?

Modification history

2024-08-21 02:48
Mathlib/Computability/Primrec.lean
chore: cleanup some List lemmas (#15718)
Added Primrec.list_getElem?View on Github →