Proofgold Proposition

type
prop

theory
HotG

name
quaternion_j

proof
PUcEg..

Megalodon
quaternion_j

proofgold address
TMPh2..^quaternion_j

creator
28531 PrQUS../5c610..

owner
28531 PrQUS../5c610..

term root
66ccf..