Theorem Nat.Partrec'.of_part

Modification history