Commit 2025-07-15 08:53 6b9514a6

View on Github →

feat(Topology/GDelta/Basic): two basic lemmas about unions of meagre sets (#26979) The union of two meagre sets is meagre; generalise countable union lemma to any countable type.

Estimated changes