Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . setprod x0 x0 = setexp x0 2
as obj
-
as prop
4c66a..setexp_2_eq
theory
HF
stx
89549..
address
TMcox..setexp_2_eq