Theorem Primrec.nat_min

Modification history