Theorem Submonoid.LocalizationMap.injective_iff

Modification history