def wn.le0

bend-osdev-word64@0.1.1.0 · PROOF_div.bend:51

import Base

51def wn.le0(x: Nat) -> {Nat.is_le(0n, x) == True{} : Bool}:
52  match x:
53    case 0n:
54      {==}
55    case 1n+ +p:
56      {==}