law false_ne_true
import lawful-arrays@0.1.0.0/proof_base.bend as ProofBaseimport Base
24law false_ne_true:
25 for e: {False{} == True{} : Bool}
26 Empty
import lawful-arrays@0.1.0.0/proof_base.bend as ProofBaseimport Base
24law false_ne_true:
25 for e: {False{} == True{} : Bool}
26 Empty