Theorem CategoryTheory.NatTrans.hcomp_app

Modification history

2026-08-13 09:18
Mathlib/CategoryTheory/Functor/Category.lean
chore(CategoryTheory/Functor/Category): don't expose `NatTrans.hcomp` (#40925) …
Added CategoryTheory.NatTrans.hcomp_appView on Github →