law not_is_lt

bend-mathlib@0.8.1.0 · nat.bend:1389

import Base

1389# Not (a < b) tests the same as b <= a.
1390law not_is_lt:
1391  for a: Nat
1392  for b: Nat
1393  {Bool.not(Nat.is_lt(a, b)) == Nat.is_le(b, a) : Bool}