Proofgold Term Root Disambiguation

even_nat 0

as obj
-

as prop
e9521..^even_nat_0

theory
HotG

stx
7fa67..

address
TMLUE..^even_nat_0