Proofgold Term Root Disambiguation

finite 0

as obj
-

as prop
ec2c2..^finite_Empty

theory
HotG

stx
2f9e1..

address
TMdUr..^finite_Empty