Proofgold Object

type
ι → ι

theory
HotG

name
OSNo_proj0

definition
PUdK2..

Megalodon
OSNo_proj0

proofgold address
TMJqA..^OSNo_proj0

creator
28513 PrQUS../bca2b..

owner
28513 PrQUS../bca2b..

term root
13b46..