Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.over.creates_connected.nat_trans_in_over

Modification history

2020-07-14 11:42
src/category_theory/limits/over.lean
chore(category_theory/limits/over): split a slow file (#3399) …
Modified category_theory.over.creates_connected.nat_trans_in_overView on Github →
2020-04-18 23:47
src/category_theory/limits/over.lean
feat(category_theory/limits/over): over category has connected limits (#2438) …
Added category_theory.over.creates_connected.nat_trans_in_overView on Github →