Theorem MulEquiv.restrictRootsOfUnity_coe_apply

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_coe_apply View on Github →