law EM

lawful-fields@0.1.1.0 · proof_num.bend:59

import Base

59law EM:
60  {U32.mod(U32.not(0), 10) == 5 : U32}