Proofgold Term Root Disambiguation

mul_SNo (eps_ 1) 2 = 1

as obj
-

as prop
84567..^{eps_1_half_eq3}

theory
HotG

stx
26642..

address
TMUfH..^{eps_1_half_eq3}