Proofgold Proposition

∀ x0 x1 x2 . x2 ∈ setexp x1 x0 ⟶ ∀ x3 . x3 ∈ x0 ⟶ ap x2 x3 ∈ x1

type
prop

theory
HotG

name
-

proof
PUha4..

Megalodon
-

proofgold address
TMRzG..

creator
4903 Pr6Pc../c9322..

owner
4903 Pr6Pc../c9322..

term root
09f31..