Proofgold Term Root Disambiguation

λ x0 x1 . mul_CSNo x0 (recip_CSNo x1)

as obj
51b5b..^div_CSNo

as prop
-

theory
HotG

stx
5ed1a..

address
TMUdd..^div_CSNo