Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 x3 . x2 ∈ Pi x0 x1 ⟶ x3 ∈ x0 ⟶ ap x2 x3 ∈ x1 x3

type
prop

theory
HotG

name
ap_Pi

proof
PUdQg..

Megalodon
ap_Pi

proofgold address
TMFXJ..^ap_Pi

creator
4899 Pr6Pc../b70b8..

owner
4899 Pr6Pc../b70b8..

term root
7c361..