Theorem RootSystem.reflection_perm_eq_reflection_perm_iff

Modification history