Theorem Cubic.a_of_eq

Modification history