Commit 2023-08-09 22:00 cdd51dd5
View on Github →refactor(Algebra/Order/LatticeGroup): Non-commutative Lattice Groups (#6452) Generalise results in Algebra/Order/LatticeGroup to the case where the group is non-commutative
refactor(Algebra/Order/LatticeGroup): Non-commutative Lattice Groups (#6452) Generalise results in Algebra/Order/LatticeGroup to the case where the group is non-commutative