def gt
import bend-mathlib@0.8.1.0/nat.bend as Natimport Base
351# The strict order a > b on naturals, as a reusable proposition.
352def gt(a: Nat, b: Nat) -> Data:
353 {Nat.is_gt(a, b) == True{} : Bool}
import bend-mathlib@0.8.1.0/nat.bend as Natimport Base
351# The strict order a > b on naturals, as a reusable proposition.
352def gt(a: Nat, b: Nat) -> Data:
353 {Nat.is_gt(a, b) == True{} : Bool}