Proofgold Proposition

∀ x0 . x0 ∈ complex ⟶ ∀ x1 . x1 ∈ complex ⟶ HSNo_proj1 (CSNo_pair x0 x1) = x1

type
prop

theory
HotG

name
quaternion_p1_eq

proof
PUcEg..

Megalodon
quaternion_p1_eq

proofgold address
TMbTJ..^{quaternion_p1_eq}

creator
28531 PrQUS../077ec..

owner
28531 PrQUS../077ec..

term root
f0d56..