Theorem RegularExpression.one_rmatch_iff

Modification history

2023-04-03 15:27
Mathlib/Computability/RegularExpressions.lean
feat Port/Computability.RegularExpressions (#2306) …
Added RegularExpression.one_rmatch_iffView on Github →