Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . ∀ x1 : ι → ι . ∀ x2 : ι → ι → ι . ∀ x3 . In x3 x0∀ x4 . In x4 (x1 x3)∀ x5 . In x5 (x2 x3 x4)In (setsum x3 (setsum x4 x5)) (lam2 x0 x1 x2)
as obj
-
as prop
935d6..lam2_I
theory
HF
stx
b6147..
address
TMbze..lam2_I