Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.transfer_nat_trans_self_counit

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_self_counitView on Github →