Theorem Nat.Partrec'.part_iff₁

Modification history