Theorem Cubic.mem_roots_iff

Modification history