Theorem Ideal.KerLift.map_smul

Modification history