Proofgold Proposition

∀ x0 . x0 ∈ octonion ⟶ ∀ x1 . x1 ∈ octonion ⟶ OSNo_proj0 x0 = OSNo_proj0 x1 ⟶ OSNo_proj1 x0 = OSNo_proj1 x1 ⟶ x0 = x1

type
prop

theory
HotG

name
octonion_proj0proj1_split

proof
PUcEg..

Megalodon
octonion_proj0proj1_split

proofgold address
TMZwZ..^{octonion_proj0proj1_split}

creator
28531 PrQUS../f2ff0..

owner
28531 PrQUS../f2ff0..

term root
19e8b..