Proofgold Proposition

∀ x0 . ba9d8.. x0 ⟶ ∀ x1 : ι → ι . (∀ x2 . prim1 x2 (4ae4a.. x0) ⟶ prim1 (x1 x2) x0) ⟶ not (∀ x2 . prim1 x2 (4ae4a.. x0) ⟶ ∀ x3 . prim1 x3 (4ae4a.. x0) ⟶ x1 x2 = x1 x3 ⟶ x2 = x3)

type
prop

theory
HoTg

name
-

proof
PUKrN..

Megalodon
-

proofgold address
TMQTD..

creator
2749 PrGxv../05e53..

owner
2749 PrGxv../05e53..

term root
7a5bc..