Proofgold Proposition

∀ x0 x1 : ι → ι . not (x0 = x1) ⟶ f8922.. (λ x2 : ι → ι . or (x2 = x0) (x2 = x1)) ⟶ ∀ x2 . 9a7b4.. x0 x1 x2 ⟶ 7bebd.. x0 x2

type
prop

theory
HoTg

name
-

proof
PUdeW..

Megalodon
-

proofgold address
TMXVP..

creator
1652 PrGxv../43a99..

owner
1652 PrGxv../43a99..

term root
30b06..