mathlib3
570db888 - feat(category_theory): missing comp_ite lemma (#14143)

Commit

3 years ago

feat(category_theory): missing comp_ite lemma (#14143) We already have `comp_dite`. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents