Theorem Submonoid.LocalizationMap.AwayMap.lift_eq

Modification history