law false_ne_true
import lawful-words@0.1.0.0/proof_nat.bend as ProofNatimport Base
17law false_ne_true:
18 for e: {False{} == True{} : Bool}
19 Empty
import lawful-words@0.1.0.0/proof_nat.bend as ProofNatimport Base
17law false_ne_true:
18 for e: {False{} == True{} : Bool}
19 Empty