Proofgold Proposition

type
prop

theory
HotG

name
OSNo_Quaternion_k

proof
PUdK2..

Megalodon
OSNo_Quaternion_k

proofgold address
TMGqh..^{OSNo_Quaternion_k}

creator
28513 PrQUS../8930f..

owner
28513 PrQUS../8930f..

term root
9b69f..