More: fixes the syntax of substitution in a wrong translation of case× (#532)
More: fixes the syntax of substitution in a wrong translation of case× (#532)

* More: fixes the syntax of substitution in a wrong translation of case×

* More: fixes the names of projection functions in an intentionally wrong translation
wenkokke/sf,wenkokke/sf