Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-06 23:01 48eaf05b

View on Github →

feat(algebra/group): units.coe_map

Estimated changes

added theorem units.coe_map