Proofgold Proposition

∀ x0 . x0 ∈ complex ⟶ cbf48.. x0 ∈ complex

type
prop

theory
HotG

name
-

proof
PUfaM..

Megalodon
-

proofgold address
TMaGr..

creator
27960 PrQUS../3f289..

owner
27960 PrQUS../3f289..

term root
c1d2b..