Mathlib v3 is deprecated. Go to Mathlib v4

Theorem language.map_id

Modification history

2022-04-12 23:52

src/computability/language.lean

feat(computability/{language/regular_expressions): Map along a function (#13197) …

Added language.map_id View on Github →