Theorem Ideal.IsMaximal.coprime_of_ne

Modification history