Proofgold Object

type
ι → ι

theory
HotG

name
conj_OSNo

definition
PUdK2..

Megalodon
conj_OSNo

proofgold address
TMNTc..^conj_OSNo

creator
28513 PrQUS../dd63d..

owner
28513 PrQUS../dd63d..

term root
6daad..