Skip to content

Commit

Permalink
chore(topology/algebra/monoid,group): rename variables (#4516)
Browse files Browse the repository at this point in the history 
Use `M`, `N` for monoids, `G`, `H` for groups.
  • Loading branch information
@urkud
urkud committed Oct 7, 2020
1 parent d67062f commit a5b0376
Show file tree
Hide file tree
Showing 2 changed files with 148 additions and 148 deletions.

0 comments on commit a5b0376

Please sign in to comment.