Theorem Submonoid.LocalizationMap.mk'_eq_iff_mk'_eq

Modification history