monoid,group): rename variables (#4516)

Commit

5 years ago

chore(topology/algebra/monoid,group): rename variables (#4516) Use `M`, `N` for monoids, `G`, `H` for groups.

References

Author

urkud

Parents