change of sigma-algebra#2016

affeldt-aist wants to merge 1 commit into

math-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:measurableTypeRaffeldt-aist/analysis:measurableTypeRCopy head branch name to clipboard