Proofgold Term Root Disambiguation

∀ x0 . (∀ x1 . nIn x1 x0) ⟶ x0 = 0

as obj
-

as prop
d0de4..^Empty_eq

theory
HF

stx
8a441..

address
TMZ6R..^Empty_eq