Theorem IsLocalization.toLocalizationMap_toMonoidHom

Modification history