Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 x3 . In x2 (Pi x0 x1) ⟶ In x3 x0 ⟶ In (ap x2 x3) (x1 x3)

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
ap_Pi

proofgold address
TMLJo..^ap_Pi

creator
1627 PrGxv../04210..

owner
1627 PrGxv../04210..

term root
98b2c..