def zero_le

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/nat.bend:79

import Base

79def zero_le(+n: Nat) -> {Nat.is_le(0n, n) == True{} : Bool}:
80  match n:
81    case 0n:
82      {==}
83    case 1n+p:
84      {==}