Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUUci..

Megalodon
tab_mat_i_o

proofgold address
TMXjv..^tab_mat_i_o

creator
1149 PrGxv../4ca7f..

owner
1149 PrGxv../4ca7f..

term root
bbb4d..