Def category_theory.nat_trans.equiv_of_comp_fully_faithful

Modification history

2022-11-03 01:01
src/category_theory/functor/fully_faithful.lean
feat(category_theory): nat_trans.equiv_of_comp_fully_faithful (#17304) …
Added category_theory.nat_trans.equiv_of_comp_fully_faithfulView on Github →