Zulip Chat Archive

Stream: condensed mathematics

Topic: thm69

Kevin Buzzard (Apr 16 2022 at 21:36):

@Filippo A. E. Nuccio I tried to prove θ_natural but it was a bit trickier than I'd realised. I pushed a start to thm69_experiments. Do you know a good way to prove this? I want to split the sum into two and I'm pretty sure I can do it like this, but I wanted to check I wasn't wasting my time.

Kevin Buzzard (Apr 17 2022 at 15:22):

thm69 is now sorry-free on that branch.

Filippo A. E. Nuccio (Apr 18 2022 at 08:13):

@Kevin Buzzard Great! I will have a look right now.

Filippo A. E. Nuccio (Apr 18 2022 at 08:23):

Thanks, I have merged your modifications on master :merge:

Last updated: Dec 20 2023 at 11:08 UTC