Proofgold Proposition

∀ x0 . x0 ∈ real ⟶ 22598.. 8d0f8.. x0 = ad280.. 0 x0

type
prop

theory
HotG

name
-

proof
PUS1J..

Megalodon
-

proofgold address
TMa3C..

creator
28233 PrQUS../9d429..

owner
28233 PrQUS../9d429..

term root
d2793..