Proofgold Proposition

∀ x0 . (x0 = 0 ⟶ ∀ x1 : ο . x1) ⟶ 82c61.. x0 ∈ setexp 2 (setexp 2 x0)

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMTWZ..

creator
48789 PrMzh../2e030..

owner
48789 PrMzh../2e030..

term root
d244e..