Theorem RootPairing.algebraMap_posRootForm_posForm

Modification history