Proofgold Proposition

∀ x0 . prim1 x0 (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))))))) ⟶ ∀ x1 : ι → ο . x1 4a7ef.. ⟶ x1 (4ae4a.. 4a7ef..) ⟶ x1 (4ae4a.. (4ae4a.. 4a7ef..)) ⟶ x1 (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))) ⟶ x1 (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..)))) ⟶ x1 (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))) ⟶ x1 (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..)))))) ⟶ x1 (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))))) ⟶ x1 (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..)))))))) ⟶ x1 x0

type
prop

theory
HoTg

name
-

proof
PUJkX..

Megalodon
-

proofgold address
TMSRA..

creator
2748 PrGxv../b4b4f..

owner
2748 PrGxv../b4b4f..

term root
64b89..