Mathlib Changelog
v4
Changelog
About
Github
Theorem
AlgebraicGeometry.Proj.awayMap_awayToSection
Modification history
2025-07-04 07:44
Mathlib/AlgebraicGeometry/ProjectiveSpectrum/Basic.lean
chore: further whitespace fixes (#26708) …
Modified
AlgebraicGeometry.Proj.awayMap_awayToSection
View on Github →
2024-11-20 19:44
Mathlib/AlgebraicGeometry/ProjectiveSpectrum/Basic.lean
feat(AlgebraicGeometry): Proj is separated (#19290) …
Added
AlgebraicGeometry.Proj.awayMap_awayToSection
View on Github →