Theorem Submonoid.LocalizationMap.lift_comp

Modification history