Proofgold Proposition

∀ x0 . 9ca4f.. x0 ∈ setexp (setexp 2 x0) x0

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMWhT..

creator
48789 PrMzh../1536a..

owner
48789 PrMzh../1536a..

term root
ab827..