Theorem RegularExpression.deriv_star

Modification history