Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . ∀ x1 : ι → ι . ∀ x2 . In x2 x0∀ x3 . In x3 (x1 x2)In (lam 2 (λ x4 . If_i (x4 = 0) x2 x3)) (lam x0 x1)
as obj
-
as prop
77775..lamI2
theory
HF
stx
89549..
address
TMFZ6..lamI2