Theorem Ideal.maximal_of_no_maximal

Modification history