Proofgold Proposition

∀ x0 . not (atleastp (prim4 x0) x0)

type
prop

theory
HotG

name
Cantor_atleastp

proof
PUaSr..

Megalodon
-

proofgold address
TMMVm..

creator
23745 Pr5Zc../dc0f2..

owner
23745 Pr5Zc../dc0f2..

term root
011a0..