Theorem Ideal.map_of_equiv

Modification history