Proofgold Proposition

PNoLe = λ x1 . λ x2 : ι → ο . λ x3 . λ x4 : ι → ο . or (PNoLt x1 x2 x3 x4) (and (x1 = x3) (PNoEq_ x1 x2 x4))

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
PNoLe_def

proofgold address
-

creator

owner

term root
9c432..