Theorem RegularExpression.matches'_char

Modification history