Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . (∀ x1 . In x1 x0and (setsum_p x1) (In (ap x1 0) 2))setsum_p x0
as obj
-
as prop
b4313..setsum_p_I2
theory
HF
stx
89549..
address
TMRBJ..setsum_p_I2