Theorem IsCyclic.monoidHom_equiv_self

Modification history

2024-11-07 22:07
Mathlib/RingTheory/RootsOfUnity/EnoughRootsOfUnity.lean
feat(GroupTheory/FiniteAbelian/Duality): new file (#18738) …
Added IsCyclic.monoidHom_equiv_selfView on Github →