Theorem RegularExpression.plus_def

Modification history