law le_witness

import minebender-game@1.0.0.0/proof_base.bend as ProofBase

import Base

664law le_witness:
665  for +a: Nat
666  for +b: Nat
667  for e: {Nat.is_le(a, b) == True{} : Bool}
668  LeW(a, b)

Uses (8)