Commit 2024-12-20 05:03 d23ee272

View on Github →

feat(GroupTheory/Abelianization): Add Abelianization.ker_of (#19906) This PR adds Abelianization.ker_of.

Estimated changes

added theorem Abelianization.ker_of