Proofgold Term Root Disambiguation

Sep (prim6 0) nat_p

as obj
ad9ad..^omega

as prop
-

theory
HotG

stx
18c18..

address
TMb4K..^omega