Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . ∀ x1 x2 . x0 x1 x2x0 x2 x1x1 = x2
as obj
76cff..
as prop
-
theory
HoTg
stx
75b72..
address
TMVbT..antisymmetric