Theorem Primrec.nat_sqrt

Modification history