Theorem CategoryTheory.NatTrans.ext'

Modification history

2024-08-05 08:52
Mathlib/CategoryTheory/Functor/Category.lean
chore: move toolchain to v4.11.0-rc1 (#15513)
Modified CategoryTheory.NatTrans.ext'View on Github →
2022-12-01 15:35
Mathlib/CategoryTheory/Functor/Category.lean
port: several files from category_theory (#749) …
Added CategoryTheory.NatTrans.ext'View on Github →