Theorem monoidHom_equiv_self

Modification history

2024-11-07 22:07
Mathlib/RingTheory/RootsOfUnity/EnoughRootsOfUnity.lean
feat(GroupTheory/FiniteAbelian/Duality): new file (#18738) …
Deleted monoidHom_equiv_selfView on Github →
2024-11-07 08:51
Mathlib/RingTheory/RootsOfUnity/EnoughRootsOfUnity.lean
feat: duality results for cyclic groups (#18687) …
Added monoidHom_equiv_selfView on Github →