Proofgold Term Root Disambiguation

∀ x0 : ι → ο . Sep 0 x0 = 0

as obj
-

as prop
e3473..^Sep_Empty

theory
HotG

stx
87341..

address
TMWHY..^Sep_Empty