def ge

bend-mathlib@0.8.1.0 · nat.bend:347

import Base

347# The order a >= b on naturals, as a reusable proposition.
348def ge(a: Nat, b: Nat) -> Data:
349  {Nat.is_ge(a, b) == True{} : Bool}