Def AlgebraicGeometry.Scheme.Opens.iSupOpenCover

Modification history

2025-06-13 16:09

Mathlib/AlgebraicGeometry/Restrict.lean

feat(AlgebraicGeometry): locally directed gluing (#24796)

Added AlgebraicGeometry.Scheme.Opens.iSupOpenCover View on Github →