Proofgold Term Root Disambiguation

90aea.. (pack_r 0 (λ x0 x1 . False))

as obj
-

as prop
a206e..

theory
HotG

stx
d67ca..

address
TMYRM..