Theorem Nat.modEq_one

Modification history