Theorem AlgebraicGeometry.mem_range_iff_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.mem_range_iff_of_surjectiveView on Github →