Theorem Submonoid.LocalizationMap.lift_unique

Modification history