Stream: math-comp analysis

Topic: Current PRs

view this post on Zulip Zachary Stone (Oct 01 2022 at 17:25):

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

The first two 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.

Last updated: Feb 05 2023 at 13:02 UTC