Proofgold Proposition

∀ x0 x1 : ο . and (not x0) (not x1) ⟶ not (or x0 x1)

type
prop

theory
HoTg

name
and_not_or_demorgan

proof
PUdWB..

Megalodon
-

proofgold address
TMXSQ..

creator
2791 PrGxv../941e9..

owner
2791 PrGxv../941e9..

term root
d4efd..