Theorem Submonoid.LocalizationMap.lift_spec_mul

Modification history