Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 x3 . nIn x2 (famunion x0 x1) ⟶ (nIn x3 x0 ⟶ False) ⟶ (nIn x2 (x1 x3) ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
tab_neg_famunion

proofgold address
TMJzB..^{tab_neg_famunion}

creator
1339 PrGxv../39c7d..

owner
1339 PrGxv../39c7d..

term root
e991e..