mathlib3

06f7cdbe - feat(computability/regular_expressions): regex power operator

feat(computability/regular_expressions): regex power operator Merge updates to master, including a regular expression power operator that will be used in the proof of correctness for the star case of regular expression to NFA