Proofgold Proposition

∀ x0 : ι → ι → ο . (λ x2 x3 . not (not (x0 x2 x3))) = x0

type
prop

theory
HotG

name
-

proof
PUhfA..

Megalodon
-

proofgold address
TMHxZ..

creator
48180 PrGM6../a6bfc..

owner
48180 PrGM6../a6bfc..

term root
d24eb..