Process to PR to mathlib

Stream: new members

[Michael Wahlberg]

I have formalised proof of correctness of RSA in lean4 with some sampling capabilities, what is the general process to PR this to mathlib?

[Patrick Massot]

https://leanprover-community.github.io/contribute/index.html

[Jireh Loreaux]

Note: the video tutorial there is outdated, but the rest I believe is up to date.