Theorem RootPairing.range_polarizationIn_le_span_coroot

Modification history