Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-13 18:20 48645152

View on Github →

feat(category_theory): lemmas about cancellation (#1005)

feat(category_theory): lemmas about cancellation
rename hypotheses
Squeeze proofs

Estimated changes

Modified src/category_theory/category.lean

added theorem category_theory.eq_of_comp_left_eq'

added theorem category_theory.eq_of_comp_left_eq

added theorem category_theory.eq_of_comp_right_eq'

added theorem category_theory.eq_of_comp_right_eq

added theorem category_theory.id_of_comp_left_id

added theorem category_theory.id_of_comp_right_id