law le_zero_l

minebender-game@1.0.0.0 · proof_base.bend:529

import Base

529law le_zero_l:
530  for +n: Nat
531  {Nat.is_le(0n, n) == True{} : Bool}