Hey all, I've got four reviews posted now.

- Weak topologies respect pseudometrics. This one is short, should be easy.
- One on upgrading "realfun" to use the subspace topology. Thanks Cyril for this first pass on this review. Hopefully it's close to ready.
- a proof that given a countable set, its finite subsets form a countable set. Proof is a little annoying, but mostly straightforward.
- Metrizability for Uniform Spaces. The key lemma for "countable products of metric spaces are metrizable"

The first three PRs are straightforward, and are good if you're looking for something quick. The metrizability one is tougher. I've tried to leave some comments explaining what's going on, but it's likely insufficient. If you've got the time to review, please reach out, and I'd be happy to help walk you through it.

Thanks for the thorough reviews! The changes are much improved post-review.

Zachary Stone has marked this topic as resolved.

Last updated: Jun 22 2024 at 16:02 UTC