Proofgold Proposition

∀ x0 . (x0 = 0 ⟶ ∀ x1 : ο . x1) ⟶ 1c786.. x0 ∈ setexp 2 (setexp 2 x0)

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMGyQ..

creator
48789 PrMzh../a99a7..

owner
48789 PrMzh../a99a7..

term root
0a413..