Theorem Ideal.map.isMaximal

Modification history