Theorem RootPairing.CoPolarization_eq

Modification history