law beq_refl

minebender-game@1.0.0.0 · proof_solver.bend:181

import Base

181law beq_refl:
182  for +a: Bool
183  {beq(a, a) == True{} : Bool}