Theorem AlgebraicGeometry.Scheme.OpenCover.map_glueMorphismsOverOfLocallyDirected_left

Modification history

2025-08-28 14:45
Mathlib/AlgebraicGeometry/Cover/Directed.lean
feat(AlgebraicGeometry): directed covers (#24528) …
Added AlgebraicGeometry.Scheme.OpenCover.map_glueMorphismsOverOfLocallyDirected_leftView on Github →