Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUQ8q..

Megalodon
-

proofgold address
TML4P..

creator
11511 PrEBh../4ea53..

owner
11511 PrEBh../4ea53..

term root
23bdf..