Proofgold Object

type
ι → ι → ι

theory
HotG

name
add_OSNo

definition
PUdK2..

Megalodon
add_OSNo

proofgold address
TMatE..^add_OSNo

creator
28513 PrQUS../df7a5..

owner
28513 PrQUS../df7a5..

term root
fe136..