Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-12 23:52 f496ef4c

View on Github →

feat(computability/{language/regular_expressions): Map along a function (#13197) Define language.map and regular_expression.map.

Estimated changes

Modified src/computability/language.lean

added def language.map

added theorem language.map_id

added theorem language.map_map

added theorem language.map_star

Modified src/computability/regular_expressions.lean

added def regular_expression.map

added theorem regular_expression.map_id

added theorem regular_expression.map_map

modified def regular_expression.matches

added theorem regular_expression.matches_map