Theorem MulEquiv.restrictRootsOfUnity_symm

Modification history

2024-02-24 17:22

Mathlib/RingTheory/RootsOfUnity/Basic.lean

fix(RingTheory/RootsOfUnity/Basic): generalise some results to monoids (#10605) …

Added MulEquiv.restrictRootsOfUnity_symm View on Github →