Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-09-25 01:30 491a68ea

View on Github →

cleanup(*): use priority 10 for low priority (#1485) Now we can locally use priorities lower than this low-priority

Estimated changes