Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.equiv_of_fully_faithful

Modification history

2020-08-23 23:56
src/category_theory/fully_faithful.lean
feat(category_theory/fully_faithful): equivalence of homsets (#3923) …
Added category_theory.equiv_of_fully_faithfulView on Github →