Theorem RegularExpression.star_rmatch_iff

Modification history