Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ quaternion ⟶ HSNo_proj0 x0 ∈ complex

as obj
-

as prop
e1e09..^{quaternion_p0_complex}

theory
HotG

stx
dd055..

address
TMbfm..^{quaternion_p0_complex}