Sync upstream mathlib4 (2026-07-31, +8 commits) - #90

Merged

winstonyin-ax merged 9 commits into

Jul 31, 2026

Commits on Jul 30, 2026

feat: generalize `range_lt_top_of_det_eq_zero` (#42055)
yuanyi-350
committed
2b4f1fd
chore: use `=ᵐ[μ]` notation more (#42263)
felixpernegger
committed
e4c9178
chore: change docstrings when they should be docComments (#42269)
felixpernegger
committed
ccb5ed4
chore: golf using fun_prop (#40019)
grunweg
committed
62f3add
feat(LinearAlgebra/Matrix): add definitions and theory for the echelon form and pivots of matrices (#42236)
raoxiaojia
committed
3b3cdbb
doc(Algebra/Category/Grp): fix after renaming of categories (#42287)
alreadydone
committed
190aaa2
chore(Util/CountHeartbeats): deprecate the global `#count_heartbeats` command (#42274)
JovanGerb
committed
2705f82

Commits on Jul 31, 2026