Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . In x2 (setexp x1 x0)∀ x3 . In x3 (setexp x1 x0)(∀ x4 . In x4 x0ap x2 x4 = ap x3 x4)x2 = x3
as obj
-
as prop
eead0..setexp_ext
theory
HF
stx
b2d3f..
address
TMV15..setexp_ext