law Numeric.double_le

gralha-bendquest@0.1.0.0 · numeric.bend:167

import Base
import gralha-bendquest@0.1.0.0/game.bend as G

167law Numeric.double_le:
168  for +a: Nat
169  for +b: Nat
170  for +ab: {G.Bq.Nat.le(a, b) == True{} : Bool}
171  {G.Bq.Nat.le(Nat.double(a), Nat.double(b)) == True{} : Bool}