Theorem Functor.Comp.mk_run

Modification history

2026-09-03 15:14

Mathlib/Control/Functor.lean

chore(Data/PFunctor): fix defeq abuse in `PFunctor.Obj` (#43056) …

Added Functor.Comp.mk_run View on Github →