Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUZC8..

Megalodon
-

proofgold address
TMUEg..

creator
6992 Pr6Pc../61c82..

owner
6992 Pr6Pc../61c82..

term root
f7f95..