Theorem AlgebraicGeometry.Scheme.Hom.isEmbedding

Modification history

2026-01-20 22:17
Mathlib/AlgebraicGeometry/Morphisms/Preimmersion.lean
chore(AlgebraicGeometry): rename fields in classes (#34180)
Deleted AlgebraicGeometry.Scheme.Hom.isEmbeddingView on Github →
2025-10-31 13:29
Mathlib/AlgebraicGeometry/Morphisms/Preimmersion.lean
chore(AlgebraicGeometry): remove unnecessary uses of `Hom.base` (#30957) …
Modified AlgebraicGeometry.Scheme.Hom.isEmbeddingView on Github →
2024-10-28 08:46
Mathlib/AlgebraicGeometry/Morphisms/Preimmersion.lean
chore: Rename `Embedding` to `IsEmbedding` (#18133) …
Added AlgebraicGeometry.Scheme.Hom.isEmbeddingView on Github →