non-master branch access to mathlib

Stream: new members

[MohanadAhmed]

Hello everyone
I have been learning a bit of lean. Currently working on some linear algebra proofs with @Eric Wieser. I need access to complete the lemmas related to inverse with reindexing in https://github.com/leanprover-community/mathlib/pull/18738.

As I learn a bit more I hope to be able to contribute more in linear algebra and probability and stochastic processes

[Eric Wieser]

I've granted you (@MohanadAhmed) write permission!

[Eric Wieser]

(I realize it may seem silly me asking you to post here only to then grant access myself, but it makes it easier to search for why people were granted access)