Theorem Submonoid.LocalizationMap.map_units

Modification history