Proofgold Term Root Disambiguation

Union 0 = 0

as obj
-

as prop
fcac9..^Union_Empty

theory
HF

stx
8a441..

address
TMYo2..^Union_Empty