Commit 2024-08-01 16:02 45697ceb

View on Github →

chore: backports for leanprover/lean4#4814 (part 11) (#15394) see https://github.com/leanprover-community/mathlib4/pull/15245

Estimated changes

modified theorem Finset.Colex.ofColex_top
modified theorem Finset.Colex.toColex_univ
modified theorem Finset.map_truncatedSup
modified theorem collapse_modular
modified theorem Rel.card_interedges_comm
modified theorem Rel.mk_mem_interedges_comm
modified theorem Finset.image_compl
modified theorem Fintype.card_pi
modified theorem HahnSeries.leadingCoeff_eq