Proofgold Object

type
ι

theory
HotG

name
Quaternion_j

definition
PUgzA..

Megalodon
Quaternion_j

proofgold address
TMbYd..^Quaternion_j

creator
28464 PrQUS../2cc12..

owner
28464 PrQUS../2cc12..

term root
c0b7d..