Proofgold Term Root Disambiguation

conj_HSNo 0 = 0

as obj
-

as prop
1a59f..^conj_HSNo_0

theory
HotG

stx
43801..

address
TMPRu..^conj_HSNo_0