To subvert the premise of the whole post - why a cheatsheet made by the teacher? Having the students making their own cheatsheets would help drive the material into their mind more deeply, and allow them to customize it to fit the way that their mind works better.
Time constraints. Student cheatsheets are better and cement knowledge more but take a lot of time to make. My TLA+ workshop is “only” three days long and I’m already pressed for time as it is.
I was thinking of something relatively informal - a text file (or LaTeX, if the student knows it) that the student would keep open and add to as they went along. Something this simple would take very little time to add items to, and seems like it would provide most of the value/detail at least given in the example in your post. Or am I missing something?
In the context of a seminar or course, a pre-made sheet saves time and keeps everybody “on the same page”. But in a more individualized, less formal, longer term learning process, making your own cheatsheet definitely helps. I’d argue it should be fairly dynamic. As a mnemonic aid, it should gradually shrink into nothingness as you memorize what you actually use. The rest can stay in the long-form docs.