isLower package:sbv

Is this a lower-case character? Only works for the Latin1 subset, otherwise returns sFalse.
>>> prove $ \c -> isUpperL1 c .=> isLowerL1 (toLowerL1 c)
Q.E.D.