Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.exact_comp_hom_inv_comp_iff

Modification history