Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . nat_p x0∀ x1 . equip x1 x0equip (setexp x1 2) (69aae.. x0 2)
as obj
-
as prop
857de..equip_setexp_2b
theory
HF
stx
b2d3f..
address
TMGd8..equip_setexp_2b