Theorem AlgebraicGeometry.topologically_isClosedMap_respectsIso

Modification history

2024-07-05 06:46

Mathlib/AlgebraicGeometry/Morphisms/UniversallyClosed.lean

chore: make MorphismProperty.RespectsIso a typeclass (#14353) …

Deleted AlgebraicGeometry.topologically_isClosedMap_respectsIso View on Github →

2024-04-29 06:58

Mathlib/AlgebraicGeometry/Morphisms/UniversallyClosed.lean

feat(CategoryTheory): morphism properties that have the two-out-of-three property (#12460) …

Added AlgebraicGeometry.topologically_isClosedMap_respectsIso View on Github →