Proofgold Term Root Disambiguation

pack_b_b_r_e_e real add_SNo mul_SNo SNoLe 0 1

as obj
42851..

as prop
-

theory
HotG

stx
b9249..

address
TMHYM..