Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-02-01 16:26 a500c24c

View on Github →

Update units.lean (#1938)

Estimated changes