Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-03 20:53 b215e952

View on Github →

fix(data/set/intervals/basic): fix a typo (#3680)

Estimated changes