Theorem AlgebraicGeometry.range_eq_range_of_surjective

Modification history

2024-11-25 16:18
Mathlib/AlgebraicGeometry/Morphisms/UnderlyingMap.lean
feat(AlgebraicGeometry): covers of schemes over a base (#19096) …
Added AlgebraicGeometry.range_eq_range_of_surjectiveView on Github →