Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . pack_u (setsum x0 x0) (combine_funcs x0 x0 Inj1 Inj1)

as obj
47c33..

as prop
-

theory
HotG

stx
f3462..

address
TMQ2Z..