Proofgold Proposition

∀ x0 x1 . nIn x1 (Sing x0) ⟶ (not (x1 = x0) ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
tab_neg_Sing

proofgold address
TMSB7..^tab_neg_Sing

creator
1339 PrGxv../accd8..

owner
1339 PrGxv../accd8..

term root
fdf96..