Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUVbs..

Megalodon
-

proofgold address
TMXm5..

creator
3137 PrJJf../f2d2e..

owner
3137 PrJJf../f2d2e..

term root
7c940..