Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUVbs..

Megalodon
dneg

proofgold address
TMSod..^dneg

creator

owner

term root
1e0cb..