Theorem Submonoid.LocalizationMap.toMonoidHom_apply

Modification history