Proofgold Proposition

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

type
prop

theory
HotG

name
not_or_and_demorgan

proof
PUQ2Y..

Megalodon
not_or_and_demorgan

proofgold address
TMVWi..^{not_or_and_demorgan}

creator
4903 Pr6Pc../025f6..

owner
4903 Pr6Pc../025f6..

term root
8733b..