Theorem Polynomial.toLaurent_apply

Modification history