Theorem RootPairing.Polarization_apply

Modification history