Theorem Nat.Partrec'.part_iff

Modification history