Theorem RootPairing.posRootForm_eq

Modification history