Proofgold Proposition

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

type
prop

theory
HotG

name
Sigma_Power_1

proof
PUdQg..

Megalodon
Sigma_Power_1

proofgold address
TMZYU..^{Sigma_Power_1}

creator
4899 Pr6Pc../4e5ab..

owner
4899 Pr6Pc../4e5ab..

term root
7a3ae..