Proofgold Object

type
ι → ι → ι

theory
HotG

name
add_CSNo

definition
PUQvq..

Megalodon
add_CSNo

proofgold address
TMHdk..^add_CSNo

creator
28444 PrQUS../baa52..

owner
28444 PrQUS../baa52..

term root
1c8cc..