Theorem AlgebraicGeometry.topologically_isLocalAtTarget'

Modification history

2025-02-28 16:03

Mathlib/AlgebraicGeometry/Morphisms/Constructors.lean

feat(Topology/Sets): define open covers (#21442)

Modified AlgebraicGeometry.topologically_isLocalAtTarget'View on Github →

2024-10-21 15:44

Mathlib/AlgebraicGeometry/Morphisms/Constructors.lean

feat(AlgebraicGeometry): dominant morphisms of schemes (#17961)

Added AlgebraicGeometry.topologically_isLocalAtTarget'View on Github →