Def RootSystem.flipEquiv

Modification history