Theorem IsLocalization.Away.AwayMap.lift_eq

Modification history