law ge_le

lawful-words@0.1.0.0 · proof_u32.bend:715

import Base

715law ge_le:
716  for +x: Nat
717  for +y: Nat
718  {Nat.is_ge(x, y) == Nat.is_le(y, x) : Bool}