Fabrice Couvreur schrieb am 27.07.2023 um 20:56:

Hi,
I don't understand why the distance between the dot and the first letter of the text is not always the same (see with theorem).

Add

        stretch=0,
        shrink=0,

to your enumeration setup.

Wolfgang