regular_expressions): Map along a function (#13197)

Commit

3 years ago

feat(computability/{language/regular_expressions): Map along a function (#13197) Define `language.map` and `regular_expression.map`. Co-authored-by: Fox Thomson

Author

YaelDillies

Parents

7ece83ed

mathlib f496ef4c - feat(computability/{language/regular_expressions): Map along a function (#13197)

mathlib
f496ef4c - feat(computability/{language/regular_expressions): Map along a function (#13197)