Proofgold Term Root Disambiguation

∀ x0 : ι → ι . not (surj 48ef8.. (e5b72.. 48ef8..) x0)

as obj
-

as prop
da671..

theory
HoTg

stx
e9beb..

address
TMTn5..