Theorem AlgebraicGeometry.UniversallyInjective.iff_diagonal

Modification history

2024-11-14 04:36
Mathlib/AlgebraicGeometry/Morphisms/UniversallyInjective.lean
feat(AlgebraicGeometry): universally injective morphisms (#18845)
Added AlgebraicGeometry.UniversallyInjective.iff_diagonalView on Github →