Theorem Nat.modEq_eleven_digits_sum

Modification history