Theorem Polynomial.Separable.map_irreducible_of_isPurelyInseparable

Modification history