Proofgold Proposition

∀ x0 x1 . ∀ x2 : ι → ι . (∀ x3 . x3 ∈ x0 ⟶ x2 x3 ∈ x1) ⟶ ∀ x3 . x3 ∈ prim4 x0 ⟶ prim5 x3 x2 ∈ prim4 x1

type
prop

theory
HotG

name
image_In_Power

proof
PUhjz..

Megalodon
image_In_Power

proofgold address
TMXRA..^{image_In_Power}

creator
4897 Pr6Pc../c254e..

owner
4897 Pr6Pc../c254e..

term root
6799e..