Commit 2024-04-03 22:32 e69a3c9d

View on Github →

chore(GroupTheory/Coxeter/Basic): move matrices to a new file (#11875) These are moved without modification. A small part of the module docstring has been moved too. This is pre-work for #11836.

Estimated changes