Proofgold Proposition

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

type
prop

theory
HotG

name
apI2

proof
PUgbQ..

Megalodon
apI2

proofgold address
TMTjJ..^apI2

creator
4904 Pr6Pc../75a79..

owner
4904 Pr6Pc../75a79..

term root
334f5..