Def category_theory.transfer_nat_trans_self

Modification history

2021-01-06 08:30
src/category_theory/adjunction/mates.lean
feat(category_theory/adjunction): mates (#5599) …
Added category_theory.transfer_nat_trans_selfView on Github →