Skip to content

v4.7.0-rc2

Pre-release
Pre-release
Compare
Choose a tag to compare
@github-actions github-actions released this 06 Mar 03:58
· 357 commits to master since this release
v4.7.0-rc2
6fce8f7

Identical to v4.7.0-rc1, but with the backport of #3610, fixing a bug when exact? is used in Mathlib.

Assets 16