[Merged by Bors] - feat: if a sigma-algebra is independent from itself then all sets in it have measure 0 or 1

[Merged by Bors] - feat: if a sigma-algebra is independent from itself then all sets in it have measure 0 or 1 #25831