law true_ne_false
import minebender-game@1.0.0.0/proof_base.bend as ProofBaseimport Base
23law true_ne_false:
24 for e: {True{} == False{} : Bool}
25 Empty
import minebender-game@1.0.0.0/proof_base.bend as ProofBaseimport Base
23law true_ne_false:
24 for e: {True{} == False{} : Bool}
25 Empty