Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . 09072.. (4ae4a.. (e4431.. x0)) (λ x1 . or (prim1 x1 x0) (x1 = e4431.. x0))
as obj
45abd..
as prop
-
theory
HoTg
stx
38a69..
address
TMHPt..