Skip to content

Commit

Permalink
refactor(Algebra/Order/LatticeGroup): Non-commutative Lattice Groups (#…
Browse files Browse the repository at this point in the history 
…6452)

Generalise results in Algebra/Order/LatticeGroup to the case where the group is non-commutative



Co-authored-by: Christopher Hoskin <christopher.hoskin@overleaf.com>
  • Loading branch information
@mans0954
mans0954 and mans0954 committed Aug 9, 2023
1 parent b51a8a9 commit cdd51dd
Show file tree
Hide file tree
Showing 5 changed files with 270 additions and 217 deletions.

0 comments on commit cdd51dd

Please sign in to comment.