Proofgold Proposition

∀ x0 . lam x0 (λ x1 . x1) ∈ {x1 ∈ setexp x0 x0|bij x0 x0 (ap x1)}

type
prop

theory
HotG

name
-

proof
PUMaE..

Megalodon
-

proofgold address
TMS8D..

creator
4924 Pr6Pc../2e380..

owner
4924 Pr6Pc../2e380..

term root
5e0fd..