Proofgold Term Root Disambiguation

ChurchNum_mult ChurchNum2 ChurchNum2 = ChurchNum4

as obj
-

as prop
40c10..

theory
HotG

stx
eaab6..

address
TMbo6..