Proofgold Proposition

∀ x0 . x0 ∈ complex ⟶ ∀ x1 . x1 ∈ complex ⟶ CSNo_pair x0 x1 ∈ quaternion

type
prop

theory
HotG

name
quaternion_I

proof
PUcEg..

Megalodon
quaternion_I

proofgold address
TMNf5..^quaternion_I

creator
28531 PrQUS../963ae..

owner
28531 PrQUS../963ae..

term root
5f574..