Proofgold Proposition

wceq cstf (cmpt (λ x0 . cvv) (λ x0 . cmpt (λ x1 . cfv (cv x0) cbs) (λ x1 . cfv (cv x1) (cfv (cv x0) cstv))))

type
prop

theory
SetMM

name
df_staf

proof
PUgy2..

Megalodon
-

proofgold address
TMM5G..

creator
36386 PrCmT../12f59..

owner
36386 PrCmT../12f59..

term root
3bb44..