Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
tab_neg_binunion

proofgold address
TMdhf..^{tab_neg_binunion}

creator
1339 PrGxv../b9bc6..

owner
1339 PrGxv../b9bc6..

term root
8a9e7..