Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x0realCSNo_Re (mul_CSNo Complex_i x0) = 0
as obj
-
as prop
c8753..real_Re_i_eq
theory
HotG
stx
93147..
address
TMMUN..real_Re_i_eq