fixes #1182 (renaming Measure_isSFinite_subdef)#1193

proux01 merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:fixes_1182affeldt-aist/analysis:fixes_1182Copy head branch name to clipboard