Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . nat_p x1 ⟶ ∀ x2 : ι → ι . (∀ x3 . x3 ∈ x1 ⟶ x2 x3 ∈ ordsucc x0) ⟶ Sigma_nat x1 (λ x3 . mul_nat (x2 x3) (exp_nat (ordsucc x0) x3)) ∈ exp_nat (ordsucc x0) x1

type
prop

theory
HotG

name
-

proof
PUKRi..

Megalodon
-

proofgold address
TMSiU..

creator
15508 Pr4zB../06f43..

owner
15508 Pr4zB../06f43..

term root
83cdd..