Write Access to mathlib

Stream: new members

[Lorenzo Luccioli]

Hi everyone, my name is Lorenzo Luccioli.
I am currently working with @Rémy Degenne in Lille on a project about information theory for my Master's thesis.
I would like to ask for write access to mathlib4 in order to push some lemmas about integrability.
This is my GitHub account: https://github.com/LorenzoLuccioli

[Markus Himmel]

Invitation sent! https://github.com/leanprover-community/mathlib4/invitations

[Lorenzo Luccioli]

Thank you very much!