Theorem Submonoid.LocalizationMap.lift_spec

Modification history