Def AlgebraicGeometry.Scheme.OpenCover.restrict

Modification history

2024-07-23 19:33

Mathlib/AlgebraicGeometry/Restrict.lean

refactor(AlgebraicGeometry): Introduce `HasRingHomProperty`. (#14992) …

Added AlgebraicGeometry.Scheme.OpenCover.restrict View on Github →