Proofgold Proposition

∀ x0 x1 x2 . nIn x1 (Union x0) ⟶ (nIn x1 x2 ⟶ False) ⟶ (nIn x2 x0 ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
tab_neg_Union

proofgold address
TMG2A..^{tab_neg_Union}

creator
1168 PrGxv../99c15..

owner
1168 PrGxv../99c15..

term root
aba88..