Theorem CategoryTheory.MorphismProperty.diagonal_isomorphisms

Modification history

2024-11-14 04:36
Mathlib/CategoryTheory/MorphismProperty/Limits.lean
feat(AlgebraicGeometry): universally injective morphisms (#18845)
Added CategoryTheory.MorphismProperty.diagonal_isomorphismsView on Github →