Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . (∀ x2 . x2 ∈ x0 ⟶ x1 x2 ∈ prim4 1) ⟶ Pi x0 x1 ∈ prim4 1

type
prop

theory
HotG

name
Pi_Power_1

proof
PUgbQ..

Megalodon
Pi_Power_1

proofgold address
TMQ6J..^Pi_Power_1

creator
4904 Pr6Pc../4e39c..

owner
4904 Pr6Pc../4e39c..

term root
74933..