Proofgold Proposition

type
prop

theory
HotG

name
complex_quaternion

proof
PUcEg..

Megalodon
complex_quaternion

proofgold address
TMMgf..^{complex_quaternion}

creator
28531 PrQUS../3971f..

owner
28531 PrQUS../3971f..

term root
a6a6d..