Mathlib Changelog
Changelog
About
Github
Def
category_theory.limits.pullback.map_desc
Modification history
2022-10-05 12:41
src/category_theory/limits/shapes/pullbacks.lean
feat(algebraic_geometry/morphisms/basic): Morphism properties on the diagonal morphism. (#16111)
Added
category_theory.limits.pullback.map_desc
View on Github →