Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUZC8..

Megalodon
-

proofgold address
TMNJP..

creator
6992 Pr6Pc../e4e33..

owner
6992 Pr6Pc../e4e33..

term root
ee8be..