Proofgold Proposition

wceq cfi (cmpt (λ x0 . cvv) (λ x0 . cab (λ x1 . wrex (λ x2 . wceq (cv x1) (cint (cv x2))) (λ x2 . cin (cpw (cv x0)) cfn))))

type
prop

theory
SetMM

name
df_fi

proof
PUQ2W..

Megalodon
-

proofgold address
TMRXy..

creator
36396 PrCmT../ed911..

owner
36396 PrCmT../ed911..

term root
50133..