Apply df_sslt__df_scut__df_made__df_old__df_new__df_left__df_right__df_txp__df_pprod__df_sset__df_trans__df_bigcup__df_fix__df_limits__df_funs__df_singleton__df_singles__df_image with
wceq cold (cmpt (λ x0 . con0) (λ x0 . cuni (cima cmade (cv x0)))).