basic): iterated multiplication is power

Commit

5 years ago

feat(algebra/group_power/basic): iterated multiplication is power These lemmas are an extension of `comp_{add,mul}_{right,left}`

Author

eric-wieser

Parents