Theorem AlgebraicGeometry.range_eq_univ

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_univView on Github →