Proofgold Term Root Disambiguation

λ x0 x1 . mul_CSNo x0 (cbf48.. x1)

as obj
bf082..

as prop
-

theory
HotG

stx
47bc9..

address
TMP3S..