making PR about transcendental numbers

Stream: maths

[Jujian Zhang]

Hello everyone, I am trying to make a new PR about transcendental numbers. Which subdirectories should I put everything in? Should it be under src/analysis?

[Mario Carneiro]

analysis.transcendental sounds good to me

[Jujian Zhang]

Can I have permission to push to mathlib please

[Jujian Zhang]

GitHub user name is jjaassoonn

[Bryan Gin-ge Chen]

@Jujian Zhang Invite sent! https://github.com/leanprover-community/mathlib/invitations

[Jujian Zhang]

Thank you

[Jujian Zhang]

Sorry for the stupid question, but how does this link work? When I click it, it says 404

[Jujian Zhang]

@Bryan Gin-ge Chen

[Bryan Gin-ge Chen]

I believe you have to be logged into Github for it to work.

[Jujian Zhang]

Oh right! Sorry