Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUMaE..

Megalodon
-

proofgold address
TMQ82..

creator
4924 Pr6Pc../6a547..

owner
4924 Pr6Pc../6a547..

term root
8c280..