Def AlgebraicGeometry.Scheme.Hom.normalizationGlueData

Modification history

2026-02-06 11:03

Mathlib/AlgebraicGeometry/Normalization.lean

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

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