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.
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.