Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . If_i (x1ap x0 0) (explicit_Field_minus (ap x0 0) (ap x0 3) (ap x0 4) (decode_b (ap x0 1)) (decode_b (ap x0 2)) x1) 0
as obj
15e17..Field_minus
as prop
-
theory
HotG
stx
8f02a..
address
TMSqY..Field_minus