Theorem Ideal.IsPrime.isMaximal'

Modification history