Theorem Submonoid.LocalizationMap.map_isRegular

Modification history