Request for write access - squarefree theorem

Stream: new members

[Richard Zandi]

Hi! I'm Richard Zandi, new to Lean/Mathlib. I'd like to submit a PR adding the theorem squarefree_not_isSquare to Data.Nat.Squarefree based on discussion in #Is there code for X?.

My GitHub username is: RichardZandi.

Could I get write access to create a branch? Thanks!

[Eric Wieser]

Please add your github username to your Zulip profile first!

[Richard Zandi]

Did it. Thank you.