Theorem Ideal.map_ofList

Modification history