Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : (ι → ι) → ο . f8922.. x0∀ x1 : ι → ι . x0 x1∀ x2 : (ι → ι) → ι . x1 (fa4ab.. x0 x2) = x2 x1
as obj
-
as prop
0f560..
theory
HoTg
stx
336f4..
address
TMd86..