factorize code about powerset sigma-algebras#1438

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

affeldt-aist:measure_20241218affeldt-aist/analysis:measure_20241218Copy head branch name to clipboard