Proofgold Proposition

type
prop

theory
HotG

name
quaternion_octonion

proof
PUcEg..

Megalodon
quaternion_octonion

proofgold address
TMS2d..^{quaternion_octonion}

creator
28531 PrQUS../5efb9..

owner
28531 PrQUS../5efb9..

term root
07aea..