law eq_sound

minebender-game@1.0.0.0 · proof_base.bend:108

import Base

108law eq_sound:
109  for +a: Nat
110  for +b: Nat
111  for e: {Nat.is_eq(a, b) == True{} : Bool}
112  {a == b : Nat}