Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 . In x2 x0 ⟶ ap (lam x0 x1) x2 = x1 x2

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
beta

proofgold address
TMLfg..^beta

creator
1504 PrGxv../9f1f8..

owner
1504 PrGxv../9f1f8..

term root
c5e21..