Proofgold Proposition

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

type
prop

theory
HotG

name
tupleI1

proof
PUgbQ..

Megalodon
tupleI1

proofgold address
TMQKb..^tupleI1

creator
4904 Pr6Pc../2f662..

owner
4904 Pr6Pc../2f662..

term root
5c347..