right` (#3011)

Commit

5 years ago

refactor(group_theory/subgroup): swap `mul_mem_cancel_left/right` (#3011) This way the name follows the position of the term we cancel.

Author

urkud

Parents