Theorem RootSystem.reflectionPerm_eq_reflectionPerm_iff

Modification history