Theorem Abelianization.ker_of

Modification history

2025-07-23 15:29

Mathlib/GroupTheory/Abelianization.lean

chore(GroupTheory/FreeAbelianGroup): do not import cardinals (#27169) …

Modified Abelianization.ker_of View on Github →

2024-12-20 05:03

Mathlib/GroupTheory/Abelianization.lean

feat(GroupTheory/Abelianization): Add `Abelianization.ker_of` (#19906) …

Added Abelianization.ker_of View on Github →