v2024

0c9d4118 · chore: Generalise monotonicity of multiplication lemmas to semirings (#9369) · 1月 01, 2024
```
last commit before 1/1/2024
```
v4.5.0-rc1

58eef79b · chore: move to v4.5.0-rc1, and merge changes from `bump/v4.5.0` branch. (#9188) · 12月 22, 2023
v4.4.0

cf8e23a6 · chore: move toolchain to v4.4.0 (#9186) · 12月 21, 2023
v4.4.0-rc1

75641abe · chore: bump Mathlib to Lean v4.4.0-rc1 (#8781) · 12月 02, 2023
v4.3.0

f04afed5 · chore: Remove `le_antisymm'` (#8760) · 12月 01, 2023
v4.3.0-rc2

83d4f222 · chore: add docs + alias for `prod_bijective` (#8439) · 11月 26, 2023
v4.3.0-rc1

1ff3bf34 · chore: bump toolchain to v4.3.0-rc1 (#8051) · 10月 31, 2023
v4.2.0

75315925 · chore: bump toolchain to v4.2.0 (#8050) · 10月 31, 2023
v4.2.0-rc3

4de9b983 · chore: bump toolchain to v4.2.0-rc3 · 10月 17, 2023
v4.2.0-rc2

26eb2b0a · chore: bump toolchain to v4.2.0-rc2 (#7703) · 10月 16, 2023
v4.2.0-rc1

b2f9c24b · chore: bump toolchain to v4.2.0-rc1 (#7370) · 9月 26, 2023
v4.1.0

f203f2e0 · chore: bump toolchain to v4.1.0 (#7369) · 9月 26, 2023
v4.1.0-rc1

bfaffcf1 · chore: bump to v4.1.0-rc1 (2nd attempt) (#7216) · 9月 17, 2023
v4.0.0

d56176f1 · chore: bump to Lean v4.0.0 (#7024) · 9月 08, 2023
v4.0.0-rc4

2d4a7e07 · chore: bump to v4.0.0-rc4 (#6873) · 8月 30, 2023
v4.0.0-rc2

a80d330c · chore: bump to v4.0.0-rc2 (#6824) · 8月 28, 2023
structInst23

18cc6471 · new toolchain · 8月 22, 2023
```
more
```
port-complete

46f71c61 · chore(Data/Option): add 3 missing lemmas and some `align`s (#6049) · 7月 21, 2023
```
This commit is the last that is guaranteed to be synchronized with mathlib3
```

标签