Proofgold Proposition

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

type
prop

theory
HotG

name
and_not_or_demorgan

proof
PUQ2Y..

Megalodon
and_not_or_demorgan

proofgold address
TMZ7V..^{and_not_or_demorgan}

creator
4903 Pr6Pc../7b94b..

owner
4903 Pr6Pc../7b94b..

term root
d4efd..