Proofgold Proposition

∀ x0 . x0 ∈ quaternion ⟶ ∀ x1 . x1 ∈ quaternion ⟶ add_HSNo x0 x1 ∈ quaternion

type
prop

theory
HotG

name
quaternion_add_HSNo

proof
PUcEg..

Megalodon
quaternion_add_HSNo

proofgold address
TMK9S..^{quaternion_add_HSNo}

creator
28531 PrQUS../8219f..

owner
28531 PrQUS../8219f..

term root
2c4b1..