Theorem RootPairing.finrank_range_polarization_eq_finrank_span_coroot

Modification history