Theorem CategoryTheory.NatTrans.hcomp_app'

Modification history

2026-10-04 06:22
Mathlib/CategoryTheory/Functor/Category.lean
feat(Translate): command for adding a translation (#43750) …
Deleted CategoryTheory.NatTrans.hcomp_app'View on Github →
2026-08-13 09:18
Mathlib/CategoryTheory/Functor/Category.lean
chore(CategoryTheory/Functor/Category): don't expose `NatTrans.hcomp` (#40925) …
Added CategoryTheory.NatTrans.hcomp_app'View on Github →