characterize roots of unity in cyclotomic extensions #10710

Stream: PR reviews

[Riccardo Brasca]

Can someone have a look at #10710? It has already been approved, but I golfed the proof and then it seems to have been forgotten. Thanks!

[Ruben Van de Velde]

Looking

[Riccardo Brasca]

This seems to have been forgotten again :sweat_smile:

And if you are in a number theory mood also #11322 has been approved and forgotten.

Thanks!

[Yaël Dillies]

Please give your Zulip topics more informative names than just a PR number!