Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.arrow.inv_left

Modification history

2021-10-29 14:39

src/category_theory/arrow.lean

feat(category_theory/limits/shapes/images): some explicit instances of has_image_map (#9977)

Added category_theory.arrow.inv_left View on Github →