Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUZC8..

Megalodon
-

proofgold address
TMdE7..

creator
6992 Pr6Pc../15815..

owner
6992 Pr6Pc../15815..

term root
80b6b..