Theorem RootPairing.rootForm_symmetric

Modification history