Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nonempty.map

Modification history

2021-12-15 19:58

src/logic/basic.lean

split(logic/nonempty): Split off `logic.basic` (#10762) …

Modified nonempty.map View on Github →

2021-10-20 01:45

src/logic/basic.lean

chore(*): remove uses of `universe variable` (#9794) …

Modified nonempty.map View on Github →

2019-01-15 11:15

logic/basic.lean

feat(logic/basic): nonempty.map

Added nonempty.map View on Github →