Proofgold Proposition

∀ x0 x1 . prim1 x1 x0 ⟶ ∀ x2 : ο . (∀ x3 . and (prim1 x3 x0) (not (∀ x4 : ο . (∀ x5 . and (prim1 x5 x0) (prim1 x5 x3) ⟶ x4) ⟶ x4)) ⟶ x2) ⟶ x2

type
prop

theory
HoTg

name
-

proof
PUgom..

Megalodon
-

proofgold address
TMP3R..

creator
1605 PrGxv../7c369..

owner
1605 PrGxv../7c369..

term root
c305b..