Theorem Partrec.nat_casesOn_right

Modification history