Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . ∀ x1 : ι → ο . (∀ x2 . ∀ x3 : ι → ο . x1 (81bb1.. x2 x3))x1 x0
as obj
ec553..
as prop
-
theory
HoTg
stx
cab96..
address
TMc1w..