Theorem RegularExpression.matches'_mul

Modification history