law true_ne_false
import lawful-arrays@0.1.0.0/proof_base.bend as ProofBaseimport Base
32law true_ne_false:
33 for e: {True{} == False{} : Bool}
34 Empty
import lawful-arrays@0.1.0.0/proof_base.bend as ProofBaseimport Base
32law true_ne_false:
33 for e: {True{} == False{} : Bool}
34 Empty