Proofgold Term Root Disambiguation

mul_SNo 2 (eps_ 1) = 1

as obj
-

as prop
95d3c..^{eps_1_half_eq2}

theory
HotG

stx
26642..

address
TMFua..^{eps_1_half_eq2}