Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUVbs..

Megalodon
-

proofgold address
TMSpB..

creator
3137 PrJJf../053cc..

owner
3137 PrJJf../053cc..

term root
f900d..