law true_ne_false
import lawful-words@0.1.0.0/proof_nat.bend as ProofNatimport Base
25law true_ne_false:
26 for e: {True{} == False{} : Bool}
27 Empty
import lawful-words@0.1.0.0/proof_nat.bend as ProofNatimport Base
25law true_ne_false:
26 for e: {True{} == False{} : Bool}
27 Empty