Theorem Computable.nat_strong_rec

Modification history