Proofgold Proposition

bij u3 {x0 ∈ prim4 u3|equip x0 u2} (ap (lam 3 (λ x0 . If_i (x0 = 0) (UPair 0 u1) (If_i (x0 = 1) (UPair 0 u2) (UPair u1 u2)))))

type
prop

theory
HotG

name
-

proof
PUbqv..

Megalodon
-

proofgold address
TMVvB..

creator
22292 Pr4zB../9ca34..

owner
22292 Pr4zB../9ca34..

term root
d3fbe..