Theorem Submonoid.LocalizationMap.mk'_self

Modification history