mul_add}): add missing `inverse` defs (#7847)

Commit

4 years ago

feat({algebra/group_action_hom, data/equiv/mul_add}): add missing `inverse` defs (#7847)

Author

ocfnash

Parents