Theorem surjective_respectsIso

Modification history

2024-09-24 15:04

Mathlib/RingTheory/LocalProperties.lean

chore(Mathlib/RingTheory/LocalProperties): split LocalProperties.lean (#16879) …

Deleted surjective_respectsIso View on Github →

2024-07-18 18:03

Mathlib/RingTheory/LocalProperties.lean

feat(AlgebraicGeometry): closed immersions are local at the target (#14763) …

Added surjective_respectsIso View on Github →