Theorem Submonoid.LocalizationMap.subsingleton_iff

Modification history