Theorem CoxeterMatrix.reindexGroupEquiv_apply_simple

Modification history