Theorem Submonoid.LocalizationMap.lift_left_inverse

Modification history