Le 24/08/2017 à 09:25, haim.ros...@gmail.com a écrit :
This was generated with the file theorems-ams.inc, which has so many different leading spaces.
I convinced myself that theorems-ams.inc is now correct in the UI and pushed the patch in master and 2.3.X.
Richard, I do not think it is worth putting this in 2.2.x, since the bug has been present forever, but if you want it nevertheless, it will be trivial to backport.
JMarc
