Theorem RegularExpression.matches'_star

Modification history