Proofgold Object

λ x0 . and (4f2b4.. x0) (∀ x1 . prim1 x1 (f482f.. x0 4a7ef..) ⟶ ∀ x2 . prim1 x2 (f482f.. x0 4a7ef..) ⟶ x1 = x2)

type
ι → ο

theory
HoTg

name
-

definition
PUK9H..

Megalodon
-

proofgold address
TMZqW..

creator
4803 PrGxv../ea8f8..

owner
4803 PrGxv../ea8f8..

term root
0561f..