@@ -1969,7 +1969,7 @@ theoremEnvironment name = do
1969 RemarkStyle -> B.emph
1969 RemarkStyle -> B.emph
1970 let title = titleEmph (B.text (theoremName tspec) <> number)
1970 let title = titleEmph (B.text (theoremName tspec) <> number)
1971 <> optTitle <> space
1971 <> optTitle <> space
1972− return $ divWith ("", [name], []) $ addTitle title
1972+ return $ divWith (fromMaybe "" mblabel, [name], []) $ addTitle title
1973 $ case theoremStyle tspec of
1973 $ case theoremStyle tspec of
1974 PlainStyle -> walk italicize bs
1974 PlainStyle -> walk italicize bs