Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ complex ⟶ x0 = SNo_pair (CSNo_Re x0) (CSNo_Im x0)

as obj
-

as prop
a6f8f..

theory
HotG

stx
93147..

address
TMSav..