Trying to fix the R sigma-algebra issue#1986

affeldt-aist wants to merge 2 commits into

math-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:R_sigma_algebra_20260605affeldt-aist/analysis:R_sigma_algebra_20260605Copy head branch name to clipboard