inj_surj): _pow definitions for surjective too (#10832)

Commit

4 years ago

feat(algebra/group/inj_surj): _pow definitions for surjective too (#10832) We already have these three variants for the injective counterparts, added in #10152.

Author

eric-wieser

Parents

59152548

mathlib3 011203d9 - feat(algebra/group/inj_surj): _pow definitions for surjective too (#10832)

mathlib3
011203d9 - feat(algebra/group/inj_surj): _pow definitions for surjective too (#10832)