Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUUci..

Megalodon
tab_pos_all_i

proofgold address
TMShK..^{tab_pos_all_i}

creator
1149 PrGxv../ff3bf..

owner
1149 PrGxv../ff3bf..

term root
4ca4e..