Structure Submonoid.LocalizationWithZeroMap

Modification history