Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . In (setsum x2 x3) (setprod x0 x1)In x2 x0
as obj
-
as prop
98421..pair_setprod_E0
theory
HF
stx
cbc45..
address
TMWT4..pair_setprod_E0