Theorem Ideal.comap_symm

Modification history