Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-10-11 09:24 19c869ef

View on Github →

move old README.md to OLD_README.md

Estimated changes