Theorem Cubic.leadingCoeff_of_b_ne_zero

Modification history