Theorem Nat.Partrec'.part_iff₂

Modification history