Proofgold Term Root Disambiguation

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

as obj
-

as prop
6ec25..

theory
HoTg

stx
e9beb..

address
TMMcs..