mathlib

2ce8482e - feat(computability/regular_expressions): add power operator (#14261)

feat(computability/regular_expressions): add power operator (#14261) We can't make `regular_expression` a monoid, but we can put a power operator on it that's compatible with the power operator on languages.