Proofgold Proposition

∀ x0 . atleastp x0 x0

type
prop

theory
HotG

name
atleastp_ref

proof
PUfcG..

Megalodon
-

proofgold address
TMTXi..

creator
14561 Pr4zB../104c2..

owner
14561 Pr4zB../104c2..

term root
a9d5b..