Theorem RootSystem.rootForm_nondegenerate

Modification history