Commit 2022-12-05 07:41 9b15aa6f
View on Github →feat(Combinatorics/Quiver/Basic): Add comp_id and id_comp lemmas for prefunctors (#858) In order to synchronize with [mathlib#17617](https://github.com/leanprover-community/mathlib/pull/17617).
feat(Combinatorics/Quiver/Basic): Add comp_id and id_comp lemmas for prefunctors (#858) In order to synchronize with [mathlib#17617](https://github.com/leanprover-community/mathlib/pull/17617).