Proofgold Proposition

type
prop

theory
HotG

name
quaternion_0

proof
PUcEg..

Megalodon
quaternion_0

proofgold address
TMGjB..^quaternion_0

creator
28531 PrQUS../49556..

owner
28531 PrQUS../49556..

term root
e063d..