Theorem Primrec.nat_elim'

Modification history