Theorem Nat.modEq_sub

Modification history