Theorem Submonoid.LocalizationMap.map_surjective_of_surjective

Modification history