Proofgold Proposition

∀ x0 x1 x2 x3 . x3 ∈ setexp (setexp x2 x1) x0 ⟶ ∀ x4 . x4 ∈ x0 ⟶ ∀ x5 . x5 ∈ x1 ⟶ ap (ap x3 x4) x5 ∈ x2

type
prop

theory
HotG

name
-

proof
PUha4..

Megalodon
-

proofgold address
TMST3..

creator
4903 Pr6Pc../d238c..

owner
4903 Pr6Pc../d238c..

term root
2f455..