Theorem Ideal.map_includeRight_eq

Modification history