Proofgold Proposition

type
prop

theory
HotG

name
quaternion_1

proof
PUcEg..

Megalodon
quaternion_1

proofgold address
TMLFF..^quaternion_1

creator
28531 PrQUS../a40ff..

owner
28531 PrQUS../a40ff..

term root
82d4b..