Theorem Ideal.IsPrime.isPrimary

Modification history