Theorem CategoryTheory.Limits.pullback.comp_diagonal

Modification history

2025-02-07 21:51
Mathlib/CategoryTheory/Limits/Shapes/Diagonal.lean
chore(AlgebraicGeometry): more API for local at source (#21390) …
Added CategoryTheory.Limits.pullback.comp_diagonalView on Github →