Proofgold Proposition

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

type
prop

theory
HotG

name
not_ex_all_demorgan_i

proof
PUQ2Y..

Megalodon
not_ex_all_demorgan_i

proofgold address
TMNGg..^{not_ex_all_demorgan_i}

creator
4903 Pr6Pc../db1e8..

owner
4903 Pr6Pc../db1e8..

term root
73523..