Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUQ8q..

Megalodon
-

proofgold address
TMb5r..

creator
11511 PrEBh../20fdc..

owner
11511 PrEBh../20fdc..

term root
99767..