Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . x0u22x1u2294591.. (e7a80.. x0) (e7a80.. x1) = λ x3 x4 . x3
as obj
9043a..
as prop
-
theory
HotG
stx
26bcf..
address
TMEqb..