Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . ∀ x2 . x2x1∀ x3 : ο . (∀ x4 . and (x4x0) (∀ x5 : ο . (∀ x6 . x2 = setsum x4 x6x5)x5)x3)x3
as obj
7b913..tuple_p
as prop
-
theory
HotG
stx
08e38..
address
TMPQR..tuple_p