mathlib
6186c694 - feat(group_theory/subgroup): range_gpowers_hom (#3677)

Commit

5 years ago

feat(group_theory/subgroup): range_gpowers_hom (#3677) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

ChrisHughes24

Parents