basic): Add missing lemmas (#5320)

Commit

5 years ago

chore(group_theory/perm/basic): Add missing lemmas (#5320) These lemmas existed for left multiplication but not right multiplication

Author

eric-wieser

Parents