Proofgold Proposition

∀ x0 . ∀ x1 x2 : ι → ι . (∀ x3 . x3 ∈ x0 ⟶ x2 x3 ∈ x1 x3) ⟶ lam x0 x2 ∈ Pi x0 x1

type
prop

theory
HotG

name
lam_Pi

proof
PUdQg..

Megalodon
lam_Pi

proofgold address
TMR7x..^lam_Pi

creator
4899 Pr6Pc../f37cb..

owner
4899 Pr6Pc../f37cb..

term root
c0b88..