Theorem Nat.perfect_iff_not_abundant_and_not_deficient

Modification history