Proofgold Proposition

∀ x0 . x0 ∈ quaternion ⟶ OSNo_proj0 x0 = x0

type
prop

theory
HotG

name
quaternion_p0_eq'

proof
PUcEg..

Megalodon
quaternion_p0_eq

proofgold address
TMd3k..^{quaternion_p0_eq}

creator
28531 PrQUS../bb43a..

owner
28531 PrQUS../bb43a..

term root
6b0e7..