Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . a4c2a.. x0 (λ x1 . ∀ x2 : ο . (∀ x3 . 09364.. x3 = x1x2)x2) 158d3..
as obj
22ca9..
as prop
-
theory
HoTg
stx
3d651..
address
TMQa5..