Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUVbs..

Megalodon
-

proofgold address
TMVJ9..

creator
3137 PrJJf../971e0..

owner
3137 PrJJf../971e0..

term root
497ad..