Theorem CategoryTheory.Limits.pullback.isIso_diagonal_iff

Modification history

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