add variant of Fubini lemmas and rename to clarify#1651

proux01 merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:fubini_20250625affeldt-aist/analysis:fubini_20250625Copy head branch name to clipboard