Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.comma.comp_right

Modification history

2018-12-15 12:17

category_theory/comma.lean

feat(category_theory/commas): add simp-lemmas for comma categories (#503)

Added category_theory.comma.comp_right View on Github →