Commit 2024-06-01 05:50 30a8ef8d
View on Github →feat(GroupTheory/SpecificGroups/Cyclic): add material on groups with given generator (#13423)
This adds some material to Mathlib.GroupTheory.SpecificGroups.Cyclic
for dealing with groups that have a specified generator, mostly on existence and uniqueness of homomorphisms and isomorphisms in terms of the image of the given generator.