mathlib

afc1c24e - feat(category/default): comp_dite (#3163)

feat(category/default): comp_dite (#3163) Adds lemmas to "distribute" composition over `if` statements. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>