Theorem RootPairing.toPerfectPairing_apply_PolarizationIn

Modification history