Theorem RegularExpression.zero_rmatch

Modification history