Proofgold Term Root Disambiguation

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

as obj
-

as prop
fcbcf..^{not_all_ex_demorgan_i}

theory
HF

stx
5e00d..

address
TMLSC..^{not_all_ex_demorgan_i}