Proofgold Proposition

∀ x0 . x0 ∈ quaternion ⟶ OSNo_proj1 x0 = 0

type
prop

theory
HotG

name
quaternion_p1_eq'

proof
PUcEg..

Megalodon
quaternion_p1_eq

proofgold address
TMTXj..^{quaternion_p1_eq}

creator
28531 PrQUS../5d4a6..

owner
28531 PrQUS../5d4a6..

term root
7e57a..