Theorem Nat.ModEq.le_of_lt_add

Modification history