Theorem RegularExpression.char_rmatch_iff

Modification history