project: nth-roots in alg closed fields

Stream: maths

[Johan Commelin]

#4674 lists two lemmas for ℂ that can be generalised to algebraically closed fields.
This could be a very nice first project for someone looking to get started with contributing to mathlib.

[Oliver Nash]

Nice! I wonder could we have an informal stream where we dump mini projects that might suit starters?

[Yaël Dillies]

Sounds like a good idea.

[Johan Commelin]

Alternatively, we create issues on GH that we tag with a suitable label?

[Johan Commelin]

I don't think we have good-first-project

[Johan Commelin]

And it might be easier to browse through a list of issues with that label then to scroll through zulip.

[Yaël Dillies]

Oh yes! Sounds even better.

[Johan Commelin]

I've added good-first-project to #4674