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!