Theorem span_coeff_minpolyDiv

Modification history