Proofgold Term Root Disambiguation

as obj
-

as prop
1df44..^{SNoS_ordsucc_omega_SNoL_SNoR_omega}

theory
HotG

stx
705e2..

address
TMHfA..^{SNoS_ordsucc_omega_SNoL_SNoR_omega}