Proofgold Proposition

wceq csx (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cvv) (λ x0 x1 . cfv (crn (cmpt2 (λ x2 x3 . cv x0) (λ x2 x3 . cv x1) (λ x2 x3 . cxp (cv x2) (cv x3)))) csigagen))

type
prop

theory
SetMM

name
df_sx

proof
PURJe..

Megalodon
-

proofgold address
TMGGC..

creator
36388 PrCmT../77abf..

owner
36388 PrCmT../77abf..

term root
34173..