Theorem RootPairing.PolarizationIn_apply

Modification history