Proofgold Proposition

∀ x0 x1 : ι → ι . ∀ x2 . x0 = x1 ⟶ (x0 x2 = x1 x2 ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUUci..

Megalodon
tab_pos_eqf_i_i

proofgold address
TMd2g..^{tab_pos_eqf_i_i}

creator
1149 PrGxv../8edc0..

owner
1149 PrGxv../8edc0..

term root
b8788..