Theorem Ideal.ker_le_comap

Modification history