Theorem Submonoid.LocalizationMap.mk'_mul

Modification history