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.
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.