Proofgold Proposition

∀ x0 . prim3 x0 = a842e.. x0 (λ x2 . x2)

type
prop

theory
HoTg

name
-

proof
PUfss..

Megalodon
-

proofgold address
TMcoX..

creator
2718 PrGxv../7c122..

owner
2718 PrGxv../7c122..

term root
0b8fc..