Theorem Submonoid.LocalizationMap.ofMulEquivOfLocalizations_id

Modification history