Proofgold Proposition

∀ x0 . x0 ∈ quaternion ⟶ HSNo x0

type
prop

theory
HotG

name
quaternion_HSNo

proof
PUcEg..

Megalodon
quaternion_HSNo

proofgold address
TMH77..^{quaternion_HSNo}

creator
28531 PrQUS../1c1bb..

owner
28531 PrQUS../1c1bb..

term root
076f3..