Theorem Cubic.monic_of_d_eq_one'

Modification history