Theorem Cubic.monic_of_a_eq_one

Modification history