Theorem Partrec.nat_rec

Modification history