Theorem Computable.nat_rec

Modification history