Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.preimage_comp

Modification history

2019-07-03 18:10
src/category_theory/fully_faithful.lean
feat(category_theory/yoneda): coyoneda lemmas (#1172) …
Added category_theory.preimage_compView on Github →