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).

Estimated changes