Sigma algebra lemmas#2013

Merged

affeldt-aist merged 15 commits into

math-comp:masterfrom

Brixfoly:sigma_algebra_lemmas

Jul 1, 2026

Commits on Jul 1, 2026

added cvg_mu lemmas + sigma_algebra_subl
adjevahi
committed
fix

affeldt-aist
authored and
adjevahi
committed
added preimageD
adjevahi
committed
actually use preimageD1

affeldt-aist
authored and
adjevahi
committed
added sub_sigma_algebra_measurable and subset_g_sigma_algebra
adjevahi
committed
added cvg_mu lemmas + sigma_algebra_subl
adjevahi
committed
rebase
adjevahi
committed
rebase + added cvg_mu and sigma_algebra_subl
adjevahi
committed
fix

affeldt-aist
authored and
adjevahi
committed
added preimageD
adjevahi
committed
cleanup
adjevahi
committed
fix
affeldt-aist
committed
added countable_big(a/u)p measurable
adjevahi
committed
changelog
affeldt-aist
committed
fix
affeldt-aist
committed