Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . a4c2a.. x0 (λ x1 . ∀ x2 : ο . (∀ x3 . f6917.. x3 = x1x2)x2) 158d3..
as obj
e76d4..
as prop
-
theory
HoTg
stx
3d651..
address
TMcrT..