Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 (Power x0)∀ x2 . In x2 x1In x2 x0
as obj
-
as prop
decfb..PowerE2
theory
HF
stx
cbc45..
address
TMLdf..PowerE2