Github Writting Permissions

Stream: mathlib4

[Martin Ceresa]

Hello everyone! I am Martin Ceresa, I've been working on mechanizing some of our research using Lean4 for the past few months and some other small projects. There is at least one (I think) useful method I would like to push to the mathlib. In concrete, it is the definition of domain restriction (and some props) in Finmap .
Here is my github user https://github.com/martinceresa
Thanks!!

[Riccardo Brasca]

You should have an invitation.

[Martin Ceresa]

Thanks Riccardo :muscle: