law eq_refl

minebender-game@1.0.0.0 · proof_base.bend:86

import Base

86law eq_refl:
87  for +n: Nat
88  {Nat.is_eq(n, n) == True{} : Bool}