Proofgold Object

type
ι → ι → ι

theory
HotG

name
SNo_pair

definition
PUQvq..

Megalodon
SNo_pair

proofgold address
TMSoa..^SNo_pair

creator
28444 PrQUS../09c8a..

owner
28444 PrQUS../09c8a..

term root
7a69f..