Proofgold Term Root Disambiguation

∀ x0 . CSNo x0 ⟶ SNo (CSNo_Re x0)

as obj
-

as prop
9eab1..^CSNo_ReR

theory
HotG

stx
2fb59..

address
TMHWB..^CSNo_ReR