Theorem Ideal.isPretransitive_of_isGalois

Modification history