law le_refl

minebender-game@1.0.0.0 · proof_base.bend:719

import Base

719law le_refl:
720  for +a: Nat
721  {Nat.is_le(a, a) == True{} : Bool}