Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-02-28 04:58
f153a85a
View on Github →
chore(category_theory/*): fix long lines (
#6471
)
Estimated changes
Modified
src/category_theory/abelian/exact.lean
Modified
src/category_theory/abelian/non_preadditive.lean
Modified
src/category_theory/abelian/pseudoelements.lean
Modified
src/category_theory/adjunction/limits.lean
modified
def
category_theory.adjunction.functoriality_unit
Modified
src/category_theory/closed/cartesian.lean
Modified
src/category_theory/comma.lean
Modified
src/category_theory/concrete_category/unbundled_hom.lean
Modified
src/category_theory/conj.lean
Modified
src/category_theory/const.lean
Modified
src/category_theory/filtered.lean
Modified
src/category_theory/fully_faithful.lean
Modified
src/category_theory/functor.lean
Modified
src/category_theory/functor_category.lean
Modified
src/category_theory/functorial.lean
Modified
src/category_theory/graded_object.lean
modified
theorem
category_theory.graded_object.comap_eq_symm
Modified
src/category_theory/limits/cofinal.lean
Modified
src/category_theory/limits/connected.lean
Modified
src/category_theory/limits/filtered_colimit_commutes_finite_limit.lean
Modified
src/category_theory/limits/functor_category.lean
modified
def
category_theory.limits.evaluate_combined_cocones
Modified
src/category_theory/limits/pi.lean
modified
def
category_theory.pi.cocone_of_cocone_eval_is_colimit
Modified
src/category_theory/limits/shapes/finite_products.lean
modified
theorem
category_theory.limits.has_finite_coproducts_of_has_finite_colimits
Modified
src/category_theory/limits/shapes/kernels.lean
Modified
src/category_theory/limits/shapes/products.lean
Modified
src/category_theory/limits/shapes/regular_mono.lean
modified
def
category_theory.regular_of_is_pushout_fst_of_regular
modified
def
category_theory.regular_of_is_pushout_snd_of_regular
Modified
src/category_theory/limits/shapes/types.lean
modified
theorem
category_theory.limits.types.pi_lift_π_apply
Modified
src/category_theory/limits/shapes/wide_pullbacks.lean
modified
def
category_theory.limits.wide_pullback_shape.wide_cospan
Modified
src/category_theory/limits/types.lean
modified
theorem
category_theory.limits.types.is_limit_equiv_sections_apply
modified
theorem
category_theory.limits.types.is_limit_equiv_sections_symm_apply
modified
theorem
category_theory.limits.types.limit.π_mk
Modified
src/category_theory/monad/limits.lean
modified
theorem
category_theory.monad.has_limit_of_comp_forget_has_limit
Modified
src/category_theory/monoidal/CommMon_.lean
Modified
src/category_theory/monoidal/Mon_.lean
Modified
src/category_theory/monoidal/braided.lean
Modified
src/category_theory/monoidal/functor.lean
Modified
src/category_theory/monoidal/functorial.lean
Modified
src/category_theory/monoidal/internal/functor_category.lean
Modified
src/category_theory/monoidal/natural_transformation.lean
modified
theorem
category_theory.monoidal_nat_iso.of_components.hom_app
modified
theorem
category_theory.monoidal_nat_iso.of_components.inv_app
Modified
src/category_theory/monoidal/of_chosen_finite_products.lean
Modified
src/category_theory/monoidal/of_has_finite_products.lean
modified
def
category_theory.monoidal_of_has_finite_coproducts
modified
def
category_theory.monoidal_of_has_finite_products
Modified
src/category_theory/natural_transformation.lean
Modified
src/category_theory/over.lean
modified
def
category_theory.over.iso_mk
Modified
src/category_theory/products/basic.lean
Modified
src/category_theory/single_obj.lean
Modified
src/category_theory/sites/sheaf_of_types.lean
Modified
src/category_theory/sums/associator.lean
modified
theorem
category_theory.sum.inverse_associator_obj_inl
modified
theorem
category_theory.sum.inverse_associator_obj_inr_inl
modified
theorem
category_theory.sum.inverse_associator_obj_inr_inr
Modified
src/category_theory/whiskering.lean