Proofgold Proposition

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

type
prop

theory
HoTg

name
not_or_and_demorgan

proof
PUdWB..

Megalodon
-

proofgold address
TMUsU..

creator
2791 PrGxv../e4607..

owner
2791 PrGxv../e4607..

term root
8733b..