Commit 2023-04-17 10:44 4c4de083

View on Github →

feat: the product of a compact space and a paracompact space is a paracompact space (#3296)

Estimated changes