Commit 2023-10-30 11:10 7d300cd8
View on Github →chore(Topology/Compactness/SigmaCompact): rename type variables (#7730) Greek letters for topological spaces are outdated, use letters X, Y, Z instead. Zulip discussion.
chore(Topology/Compactness/SigmaCompact): rename type variables (#7730) Greek letters for topological spaces are outdated, use letters X, Y, Z instead. Zulip discussion.