Theorem Submonoid.LocalizationMap.nontrivial

Modification history