Proofgold Proposition

type
prop

theory
HotG

name
OSNo_Quaternion_j

proof
PUdK2..

Megalodon
OSNo_Quaternion_j

proofgold address
TMS2V..^{OSNo_Quaternion_j}

creator
28513 PrQUS../33b91..

owner
28513 PrQUS../33b91..

term root
77f80..