Theorem Functor.Comp.functor_id_comp

Modification history

2025-08-29 03:39
Mathlib/Control/Functor.lean
chore(Control): review porting notes (#28974) …
Modified Functor.Comp.functor_id_compView on Github →
2022-11-28 17:28
Mathlib/Control/Functor.lean
feat: port control.functor (#612) …
Added Functor.Comp.functor_id_compView on Github →