🔥Goed gebruik van de Aristotle API om formeel de injectiviteitseigenschap van decoder-only transformers te bewijzen (met @leanprover)