Theorem Primrec.nat_div

Modification history