law false_ne_true
import minebender-game@1.0.0.0/proof_base.bend as ProofBaseimport Base
15law false_ne_true:
16 for e: {False{} == True{} : Bool}
17 Empty
import minebender-game@1.0.0.0/proof_base.bend as ProofBaseimport Base
15law false_ne_true:
16 for e: {False{} == True{} : Bool}
17 Empty