Commit 2024-08-03 02:06 eaef1107
View on Github →feat(Data/Set/Finite): union of infinitely many sets is infinite (#15447) We add three separate versions of the statement that the union of an infinite collection of sets is infinite.
feat(Data/Set/Finite): union of infinitely many sets is infinite (#15447) We add three separate versions of the statement that the union of an infinite collection of sets is infinite.