Mathlib Changelog
v4
Changelog
About
Github
Theorem
RegularExpression.deriv_char_of_ne
Modification history
2023-04-03 15:27
Mathlib/Computability/RegularExpressions.lean
feat Port/Computability.RegularExpressions (#2306) …
Added
RegularExpression.deriv_char_of_ne
View on Github →