Proofgold Term Root Disambiguation

8b17e.. (pack_r 0 (λ x0 x1 . False))

as obj
-

as prop
54f6a..

theory
HotG

stx
d67ca..

address
TMPMu..