Theorem Submonoid.LocalizationMap.mulEquivOfLocalizations_left_inv

Modification history