Theorem RegularExpression.mul_rmatch_iff

Modification history