Commit 2024-10-20 21:50 69bbcb4a

View on Github →

chore: move mul_ite, add dite version, multiplicativise ite_add_ite (#17963)

Estimated changes

added theorem dite_div
added theorem dite_div_dite
added theorem dite_mul
added theorem dite_mul_dite
added theorem div_dite
added theorem div_ite
added theorem ite_div
added theorem ite_div_ite
added theorem ite_mul
added theorem ite_mul_ite
added theorem mul_dite
added theorem mul_ite
deleted theorem ite_add_ite
deleted theorem ite_mul
deleted theorem ite_sub_ite
deleted theorem mul_ite