Proofgold Proposition

∀ x0 x1 x2 . x2 ∈ ap x0 x1 ⟶ lam 2 (λ x3 . If_i (x3 = 0) x1 x2) ∈ x0

type
prop

theory
HotG

name
apE2

proof
PUgbQ..

Megalodon
apE2

proofgold address
TMGiJ..^apE2

creator
4904 Pr6Pc../958ff..

owner
4904 Pr6Pc../958ff..

term root
2a2c2..