Proofgold Proposition

∀ x0 . x0 ∈ complex ⟶ ∀ x1 . x1 ∈ complex ⟶ bf082.. x0 x1 ∈ complex

type
prop

theory
HotG

name
-

proof
PUfaM..

Megalodon
-

proofgold address
TMNQv..

creator
27960 PrQUS../8314c..

owner
27960 PrQUS../8314c..

term root
87548..