Theorem RootPairing.RootPositiveForm.algebraMap_posForm

Modification history