Theorem Submonoid.LocalizationMap.mk'_zero

Modification history