Proofgold Proposition

∀ x0 . 49161.. x0 ⟶ x0 = 34992.. (f482f.. x0 4a7ef..) (decode_c (f482f.. x0 (4ae4a.. 4a7ef..))) (f482f.. (f482f.. x0 (4ae4a.. (4ae4a.. 4a7ef..)))) (2b2e3.. (f482f.. x0 (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))) (2b2e3.. (f482f.. x0 (4ae4a.. (4ae4a.. (4ae4a.. (4ae4a.. 4a7ef..))))))

type
prop

theory
HoTg

name
-

proof
PUYBj..

Megalodon
-

proofgold address
TMdef..

creator
2841 PrGxv../72696..

owner
2841 PrGxv../72696..

term root
eaff8..