Def AlgebraicGeometry.sourceAffineLocally

Modification history

2023-07-15 00:13

Mathlib/AlgebraicGeometry/Morphisms/RingHomProperties.lean

feat: port AlgebraicGeometry.Morphisms.RingHomProperties (#5663)

Added AlgebraicGeometry.sourceAffineLocally View on Github →