Search for blocks/addresses/...
Proofgold Term Root Disambiguation
∀ x0 x1 .
CSNo
x0
⟶
CSNo
x1
⟶
CSNo_Re
x0
=
CSNo_Re
x1
⟶
CSNo_Im
x0
=
CSNo_Im
x1
⟶
x0
=
x1
as obj
-
as prop
e59d0..
CSNo_ReIm_split
theory
HotG
stx
2fb59..
address
TMF22..
CSNo_ReIm_split