As an aside, while working on the Arzela Ascoli stuff, I have found an elegant approach for translating textbook proofs using compact covers into filter language. I suspect the lemma I proved is of more general interest than just for AZ.
Zachary Stone said:
- Regarding !505, it should be good to go? I've completed all the review suggestions. Let me know if you see anything else.
I think it is good to go. I commited a few changes but nothing significant.
(same for 527)
Thank you! I'll merge those shortly.
Last updated: Feb 05 2023 at 08:28 UTC