Theorem Submonoid.LocalizationMap.mk'_eq_of_same

Modification history