Proofgold Object

type
ι

theory
HotG

name
Complex_i

definition
PUQvq..

Megalodon
Complex_i

proofgold address
TMWi4..^Complex_i

creator
28444 PrQUS../e1c04..

owner
28444 PrQUS../e1c04..

term root
ace1d..