Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-03 17:57 6186c694

View on Github →

feat(group_theory/subgroup): range_gpowers_hom (#3677)

Estimated changes

Modified src/group_theory/subgroup.lean

added theorem add_subgroup.range_gmultiples_hom

added theorem subgroup.range_gpowers_hom