Proofgold Proposition

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

type
prop

theory
HF

name
and_notTrue

proof
PUgya..

Megalodon
-

proofgold address
TMJsX..

creator
144 Pr8qe../3a242..

owner
144 Pr8qe../3a242..

term root
a8010..