Tags: paulorauber/mathlib4
Toggle nightly-testing-2025-06-19's commit message
Toggle nightly-testing-2025-06-18's commit message
Merge master into nightly-testing
Toggle nightly-testing-2025-06-17's commit message
Merge master into nightly-testing
Toggle nightly-testing-2025-06-16's commit message
Toggle nightly-testing-2025-06-15's commit message
Toggle nightly-testing-2025-06-12's commit message
Toggle nightly-testing-2025-06-11's commit message
chore: bump to nightly-2025-06-11
Toggle nightly-testing-2025-06-09's commit message
Merge remote-tracking branch 'origin/master' into nightly-testing
Toggle nightly-testing-2025-06-05's commit message
Merge remote-tracking branch 'origin/batteries-pr-testing-1220' into …
…nightly-testing
Toggle v4.21.0-rc3's commit message
feat: define `IsPositive` and Löwner order for `LinearMap` (leanprove…
…r-community#24471 )
Moves:
- ContinuousLinearMap.IsPositive.inner_nonneg_left -> ContinuousLinearMap.IsPositive.re_inner_nonneg_left
- ContinuousLinearMap.IsPositive.inner_nonneg_right -> ContinuousLinearMap.IsPositive.re_inner_nonneg_right
You can’t perform that action at this time.