Proofgold Proposition

∀ x0 : ο . not x0 ⟶ x0 ⟶ False

type
prop

theory
HoTg

name
notE

proof
PUdeW..

Megalodon
-

proofgold address
TMSLJ..

creator
1652 PrGxv../68bca..

owner
1652 PrGxv../68bca..

term root
23bb7..