law and_true_r_id

minebender-game@1.0.0.0 · proof_base.bend:590

import Base

590law and_true_r_id:
591  for +a: Bool
592  {Bool.and(a, True{}) == a : Bool}