Def AlgebraicGeometry.Scheme.Hom.resLEStalkMap

Modification history

2025-01-18 20:53

Mathlib/AlgebraicGeometry/Restrict.lean

feat(AlgebraicGeometry): flat morphisms of schemes (#19790) …

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