Mathlib Changelog
v4
Changelog
About
Github
Theorem
HomogeneousLocalization.awayMapAux_mk
Modification history
2024-11-20 19:44
Mathlib/RingTheory/GradedAlgebra/HomogeneousLocalization.lean
feat(AlgebraicGeometry): Proj is separated (#19290) …
Added
HomogeneousLocalization.awayMapAux_mk
View on Github →