Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . ∀ x1 : ι → ι . ∀ x2 . x2x0∀ x3 . x3x1 x2lam 2 (λ x4 . If_i (x4 = 0) x2 x3)lam x0 x1
as obj
-
as prop
de381..tuple_2_Sigma
theory
HotG
stx
08e38..
address
TMTxD..tuple_2_Sigma