Theorem RegularExpression.deriv_char_self

Modification history