Proofgold Proposition

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

type
prop

theory
HoTg

name
not_ex_all_demorgan_i

proof
PUdWB..

Megalodon
-

proofgold address
TMcTu..

creator
2791 PrGxv../ed54c..

owner
2791 PrGxv../ed54c..

term root
73523..