Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . and (struct_b x0) (unpack_b_o x0 explicit_Group)
as obj
48ad7..Group
as prop
-
theory
HotG
stx
a0c68..
address
TMPgS..Group