Theorem RegularExpression.matches'_zero

Modification history