Theorem RegularExpression.comp_def

Modification history