Theorem RootPairing.PolarizationIn_eq

Modification history