Theorem Primrec.nat_sub

Modification history