Remove L_ and _R from thmnames