🔥Penggunaan API Aristoteles yang baik untuk membuktikan secara formal sifat injektivitas transformator khusus dekoder (dengan @leanprover)