Access to Mathlib

Stream: new members

[Thomas Browning]

I've been working with the Berkeley Lean Seminar folks on the primitive element theorem. Could I get access to make a pull request? My github username is tb65536

[Scott Morrison]

Invitation sent!

[Gaëtan Serré]

Hello, following this #mathlib4 > Typo in doc of padicValNat? , would it be possible to have access to Mathlib's repository (my github username is gaetanserre)? Thanks!

[Johan Commelin]

@Gaëtan Serré Voila: https://github.com/leanprover-community/mathlib4/invitations