Theorem Submonoid.LocalizationMap.map_mul_right

Modification history