Def AlgebraicGeometry.Scheme.Hom.normalization

Modification history

2026-02-06 11:03

Mathlib/AlgebraicGeometry/Normalization.lean

feat(AlgebraicGeometry): replace `PreservesLocalization` with `Coequifibered` (#34701)

Modified AlgebraicGeometry.Scheme.Hom.normalization View on Github →

2025-12-28 17:51

Mathlib/AlgebraicGeometry/Normalization.lean

feat(AlgebraicGeometry): relative normalization of schemes (#32813)

Added AlgebraicGeometry.Scheme.Hom.normalization View on Github →