Proofgold Proposition

∀ x0 x1 . (In x0 x1 ⟶ False) ⟶ nIn x0 x1

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
nIn_I2

proofgold address
TMTbt..^nIn_I2

creator
1168 PrGxv../ecff7..

owner
1168 PrGxv../ecff7..

term root
b30a9..