bend-lawful-stdlib@0.1.0.0 · src/nat.bend:52
import bend-lawful-stdlib@0.1.0.0/src/nat.bend as Nat
import Base 52law le_step: 53 for a: Nat 54 LE(a, 1n+a)