🔥Bună utilizare a API-ului Aristotle pentru a demonstra formal proprietatea de injectivitate a transformatoarelor doar decodătoare (cu @leanprover)