Commit 2024-07-31 23:15 67f52feb

View on Github →

chore: backports for leanprover/lean4#4814 (part 6) (#15313) See https://github.com/leanprover-community/mathlib4/pull/15245

Estimated changes

modified theorem Multiset.prod_hom'
modified theorem Multiset.prod_hom
modified theorem Multiset.prod_hom_rel
modified theorem Multiset.prod_hom₂
modified theorem Multiset.prod_map_prod_map
modified theorem inf_div
modified theorem inf_mul
modified theorem mul_inf
modified theorem mul_sup
modified theorem sup_div
modified theorem sup_mul
modified theorem strictMono_iff_map_pos
modified theorem Even.tsub
modified theorem tsub_tsub_eq_add_tsub_of_le