Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUPLh..

Megalodon
-

proofgold address
TMTki..

creator
11899 PrGVS../0b7fb..

owner
11899 PrGVS../0b7fb..

term root
50f1b..