Proofgold Object

λ x0 . prim5 x0 Inj1

type
ι → ι

theory
HotG

name
Inj0

definition
PUMB7..

Megalodon
Inj0

proofgold address
TMM4p..^Inj0

creator
4898 Pr6Pc../9e69a..

owner
4898 Pr6Pc../9e69a..

term root
81432..