Def AlgebraicGeometry.Scheme.surjectiveFamiliesPretopology

Modification history

2024-11-11 14:39

Mathlib/AlgebraicGeometry/Sites/MorphismProperty.lean

feat(AlgebraicGeometry): the big etale site (#18854) …

Added AlgebraicGeometry.Scheme.surjectiveFamiliesPretopology View on Github →