Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PURTb..

Megalodon
not_all_ex_demorgan_i

proofgold address
TMFur..^{not_all_ex_demorgan_i}

creator
1889 PrGxv../74136..

owner
1889 PrGxv../74136..

term root
8b701..