Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PURTb..

Megalodon
not_ex_all_demorgan_i

proofgold address
TMSyb..^{not_ex_all_demorgan_i}

creator
1889 PrGxv../66598..

owner
1889 PrGxv../66598..

term root
e71e4..