Proofgold Proposition

∀ x0 x1 x2 . x2 ∈ setprod x0 x1 ⟶ ap x2 1 ∈ x1

type
prop

theory
HotG

name
-

proof
PUhu1..

Megalodon
-

proofgold address
TMQRA..

creator
16946 PrGxv../70179..

owner
16946 PrGxv../70179..

term root
e7a58..