Theorem Nat.abundant_twelve

Modification history