Theorem Primrec.nat_double_succ

Modification history