basic): `zpowers_eq_bot` (#14366)

Commit

3 years ago

feat(group_theory/subgroup/basic): `zpowers_eq_bot` (#14366) This PR adds a lemma `zpowers_eq_bot`.

Author

tb65536

Parents