Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 x3 . nIn x2 (Repl x0 x1) ⟶ (nIn x3 x0 ⟶ False) ⟶ (not (x2 = x1 x3) ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
tab_neg_Repl

proofgold address
TMS8t..^tab_neg_Repl

creator
1168 PrGxv../c61b1..

owner
1168 PrGxv../c61b1..

term root
94e4b..