Proofgold Proposition

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

type
prop

theory
HoTg

name
not_all_ex_demorgan_i

proof
PUdWB..

Megalodon
-

proofgold address
TMZpD..

creator
2791 PrGxv../cd1f4..

owner
2791 PrGxv../cd1f4..

term root
9bfa0..