Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x0complex∀ x1 . x1complexCSNo_Re x0 = CSNo_Re x1CSNo_Im x0 = CSNo_Im x1x0 = x1
as obj
-
as prop
351c3..complex_ReIm_split
theory
HotG
stx
93147..
address
TMLif..complex_ReIm_split