Proofgold Proposition

SNoEq_ = λ x1 x2 x3 . PNoEq_ x1 (λ x4 . In x4 x2) (λ x4 . In x4 x3)

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
SNoEq__def

proofgold address
-

creator

owner

term root
36471..