law le_zero

minebender-game@1.0.0.0 · proof_base.bend:517

import Base

517law le_zero:
518  for +n: Nat
519  for e: {Nat.is_le(n, 0n) == True{} : Bool}
520  {n == 0n : Nat}