Proofgold Object

λ x0 x1 . 22598.. x0 (41fb9.. x1)

type
ι → ι → ι

theory
HotG

name
-

definition
PUN7o..

Megalodon
-

proofgold address
TMbxf..

creator
28161 PrQUS../40871..

owner
28161 PrQUS../40871..

term root
d0de4..