Theorem Cubic.monic_of_b_eq_one

Modification history