Theorem Localization.awayLift_mk

Modification history

2024-11-20 19:44
Mathlib/RingTheory/Localization/Away/Basic.lean
feat(AlgebraicGeometry): Proj is separated (#19290) …
Added Localization.awayLift_mkView on Github →