Def category_theory.limits.sigma.map
Modification history
2020-11-03 15:50
src/category_theory/limits/shapes/products.lean
chore(category_theory/limits): Use `lim_map` over `lim.map` (#4856) …
Modified category_theory.limits.sigma.mapView on Github →