Proofgold Term Root Disambiguation

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

as obj
-

as prop
8b915..^Empty_eq

theory
HotG

stx
18c18..

address
TMM1a..^Empty_eq