Theorem RegularExpression.matches'_pow

Modification history