Proofgold Term Root Disambiguation

∀ x0 . prim0 (ZermeloWO x0) = x0

as obj
-

as prop
7fdd6..

theory
HoTg

stx
75b72..

address
TMaCP..^{ZermeloWO_Eps}