Proofgold Term Root Disambiguation

∀ x0 . nIn x0 0

as obj
-

as prop
3cfc3..^nIn_Empty

theory
HF

stx
8a441..

address
TMLE4..^nIn_Empty