Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUVbs..

Megalodon
-

proofgold address
TMNGM..

creator
3137 PrJJf../5f4d3..

owner
3137 PrJJf../5f4d3..

term root
2fa68..