Theorem RootPairing.CoPolarizationIn_eq

Modification history