Theorem Polynomial.toLaurent_one

Modification history