Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 : ι → ι → ι . ∀ x3 . x3 ∈ x0 ⟶ ∀ x4 . x4 ∈ x1 x3 ⟶ ap (ap (lam2 x0 x1 x2) x3) x4 = x2 x3 x4

type
prop

theory
HotG

name
beta2

proof
PUdQg..

Megalodon
beta2

proofgold address
TMGMZ..^beta2

creator
4899 Pr6Pc../4a4c3..

owner
4899 Pr6Pc../4a4c3..

term root
2de6d..