Proofgold Term Root Disambiguation

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

as obj
-

as prop
59ea2..

theory
HoTg

stx
7f654..

address
TMMTC..^{not_ex_all_demorgan_i}