Proofgold Proposition

type
prop

theory
HotG

name
HSNo_Quaternion_j

proof
PUgzA..

Megalodon
HSNo_Quaternion_j

proofgold address
TMU2F..^{HSNo_Quaternion_j}

creator
28464 PrQUS../fadad..

owner
28464 PrQUS../fadad..

term root
498a3..