Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-11 10:11 34d3fe1d

View on Github →

chore(category_theory/comma): split into three files (#3358) Just reorganisation.

Estimated changes

deleted theorem category_theory.arrow.w
deleted theorem category_theory.over.w
deleted theorem category_theory.under.w
added theorem category_theory.over.w