Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-01-15 11:15 0c710160

View on Github →

feat(logic/basic): nonempty.map

Estimated changes

added theorem nonempty.map