Theorem CoxeterMatrix.reindexGroupEquiv_symm_apply_simple

Modification history