Theorem Ideal.toCotangent_range

Modification history