Zulip Chat Archive

Stream: triage

Topic: PR #15954: feat(analysis/transcendental): e is transcende...


Random Issue Bot (Dec 25 2022 at 14:08):

Today I chose PR 15954 for discussion!

feat(analysis/transcendental): e is transcendental
Created by @Ruben Van de Velde (@Ruben-VandeVelde) on 2022-08-09
Labels: awaiting-author

Is this PR still relevant? Any recent updates? Anyone making progress?

Ruben Van de Velde (Dec 25 2022 at 14:09):

There was a more general result, not sure what happened to it


Last updated: Dec 20 2023 at 11:08 UTC