Proofgold Proposition

∀ x0 . x0 ∈ quaternion ⟶ ∀ x1 : ο . (∀ x2 . x2 ∈ complex ⟶ ∀ x3 . x3 ∈ complex ⟶ x0 = CSNo_pair x2 x3 ⟶ x1) ⟶ x1

type
prop

theory
HotG

name
quaternion_E

proof
PUcEg..

Megalodon
quaternion_E

proofgold address
TMHcJ..^quaternion_E

creator
28531 PrQUS../0d4b0..

owner
28531 PrQUS../0d4b0..

term root
6a5a4..