Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-08 17:50 4222c322

View on Github →

lint(testing/slim_check/*): break long lines (#9091)

Estimated changes