mathlib3

3ac76ec5 - doc: Add a warning mentioning Lean 4 to the readme (#19243)

doc: Add a warning mentioning Lean 4 to the readme (#19243) Also correct links to point to the lean3 webpages; this means that users clicking them end up on pages which also have scary banners telling them not to use Lean 3.