Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix mistake in documentation of Group.remove (#1566)
Documentation initially said `remove` was equivalent to `combine(a, inverse(a))`. Changed to be equivalent to `combine(a, inverse(b))` instead.
- Loading branch information