Theorem Primrec.nat_double

Modification history