Theorem Submonoid.LocalizationMap.lift_mk'_spec

Modification history