Theorem pow_left_surj_of_rootableBy

Modification history

2026-04-20 12:48
Mathlib/GroupTheory/Divisible.lean
chore(GroupTheory): deduplicate RootableBy.surjective_pow (#38252) …
Deleted pow_left_surj_of_rootableByView on Github →
2023-02-08 11:21
Mathlib/GroupTheory/Divisible.lean
feat: port GroupTheory.Divisible (#2149)
Added pow_left_surj_of_rootableByView on Github →