law mod_mod

lawful-words@0.1.0.0 · proof_nat.bend:1272

import Base

1272law mod_mod:
1273  for +u: Nat
1274  for +m: Nat
1275  {Nat.mod(Nat.mod(u, m), m) == Nat.mod(u, m) : Nat}