Theorem RootPairing.CoPolarization_apply

Modification history