law le_zero_l

lawful-words@0.1.0.0 · proof_nat.bend:623

import Base

623law le_zero_l:
624  for +n: Nat
625  {Nat.is_le(0n, n) == True{} : Bool}