Theorem Ideal.range_mul'

Modification history