slightly generalize fct_prodR and some other functions in functions.v#1795

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

t6s:genfctprodt6s/analysis:genfctprodCopy head branch name to clipboard