Theorem Functor.Comp.functor_comp_id

Modification history

2022-11-28 17:28
Mathlib/Control/Functor.lean
feat: port control.functor (#612) …
Added Functor.Comp.functor_comp_idView on Github →