From 12380207ba1c4c419c4b63a1d5ac6ae10943a2ab Mon Sep 17 00:00:00 2001
From: x0x8x <5467132+x0x8x@users.noreply.github.com>
Date: Fri, 4 Dec 2020 16:51:15 +0300
Subject: [PATCH] Add admin log event.has_left (#1642)

---
 telethon/tl/custom/participantpermissions.py | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/telethon/tl/custom/participantpermissions.py b/telethon/tl/custom/participantpermissions.py
index 3b9f864b..7053cda7 100644
--- a/telethon/tl/custom/participantpermissions.py
+++ b/telethon/tl/custom/participantpermissions.py
@@ -79,6 +79,13 @@ class ParticipantPermissions:
         """
         return isinstance(self.participant, types.ChannelParticipantBanned)
 
+    @property
+    def has_left(self):
+        """
+        Whether the user left the chat.
+        """
+        return isinstance(self.participant, types.ChannelParticipantLeft)
+    
     @property
     def add_admins(self):
         """