mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

add file containing the Weierstrass M-test

Open CBirkbeck opened this issue 4 years ago • 2 comments

Open in Gitpod

CBirkbeck avatar Sep 03 '21 16:09 CBirkbeck

I sketch an alternative approach at https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/Modular.20forms.20and.20related.20things/near/252246795 Let's discuss at that link, and close this PR if the alternative approach is adopted.

hrmacbeth avatar Sep 07 '21 03:09 hrmacbeth

I sketch an alternative approach at https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/Modular.20forms.20and.20related.20things/near/252246795 Let's discuss at that link, and close this PR if the alternative approach is adopted.

Yes that sounds good. I'm happy to close this in favour of something better! Thank you.

CBirkbeck avatar Sep 07 '21 07:09 CBirkbeck