2026-06-09 19:37
Mathlib/AlgebraicGeometry/Morphisms/UniversallyInjective.lean
feat(AlgebraicGeometry/Morphisms/UniversallyInjective): equivalent criteria for universally injective morphisms (#39910) …
Added AlgebraicGeometry.tfae_universallyInjective