Theorem Partrec.nat_iff

Modification history