Def AlgebraicGeometry.Scheme.Hom.normalizationDiagramMap

Modification history

2025-12-28 17:51

Mathlib/AlgebraicGeometry/Normalization.lean

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

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