Proofgold Term Root Disambiguation

∀ x0 : ι → ο . not (∀ x1 . x0 x1) ⟶ ∃ x1 . not (x0 x1)

as obj
-

as prop
3cddf..

theory
HoTg

stx
7f654..

address
TMdvA..^{not_all_ex_demorgan_i}