Proofgold Term Root Disambiguation

as obj
-

as prop
354d7..^{SNoCutP_SNoL_SNoR_omega}

theory
HotG

stx
705e2..

address
TMQ4q..^{SNoCutP_SNoL_SNoR_omega}