Commit 2026-04-20 12:48 4f7183fb
View on Github →chore(GroupTheory): deduplicate RootableBy.surjective_pow (#38252)
pow_left_surj_of_rootableBy and RootableBy.surjective_pow have the same statement, so this PR deprecates one of them. I kept the one with better naming (surj is not a widely used abbrev)