Theorem Polynomial.Separable.of_pow'

Modification history