Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
contra_In

proofgold address
TMG8e..^contra_In

creator
1168 PrGxv../5a281..

owner
1168 PrGxv../5a281..

term root
75b57..