Proofgold Proposition

∀ x0 . atleastp x0 0 ⟶ x0 = 0

type
prop

theory
HotG

name
-

proof
PUXp3..

Megalodon
-

proofgold address
TMU34..

creator
14944 Pr4zB../fc57c..

owner
14944 Pr4zB../fc57c..

term root
6b767..