Proofgold Proposition

∀ x0 . x0 ∈ quaternion ⟶ ∀ x1 . x1 ∈ quaternion ⟶ HSNo_pair x0 x1 ∈ octonion

type
prop

theory
HotG

name
octonion_I

proof
PUcEg..

Megalodon
octonion_I

proofgold address
TMKN9..^octonion_I

creator
28531 PrQUS../3b029..

owner
28531 PrQUS../3b029..

term root
f4324..