Theorem RootPairing.toLinearMap_apply_PolarizationIn

Modification history