From 921783daf061bd351c73862c5d562053fe9f0fe3 Mon Sep 17 00:00:00 2001
From: avekens <avekens@yahoo.de>
Date: Fri, 23 Feb 2024 07:41:28 +0100
Subject: [PATCH] Label change

---
 set.mm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/set.mm b/set.mm
index 955ea895ad..26efebf2da 100644
--- a/set.mm
+++ b/set.mm
@@ -741972,7 +741972,7 @@ According to Wikipedia ("Endomorphism", 25-Jan-2024,
     idresefmnd $p |- ( A e. V
                        -> ( E e. Mnd /\ ( Base ` E ) C_ ( Base ` G ) ) ) $=
       ( wcel cid cres csn csubmnd cfv cmnd cbs wss idressubmefmnd c0g eqid cvv
-      wa cress co w3a submefmndbi wceq snex ressbas mp1i inss2 syl6eqssr eqcomi
+      wa cress co w3a submefmndbi wceq snex ressbas mp1i inss2 eqsstrrdi eqcomi
       cin eleq1i biimpi 3ad2ant3 anim12ci ex sylbid mpd ) ADGZHAIZJZCKLGZBMGZBN
       LZCNLZOZTZACDEPUTVCVBVFOZCQLZVBGZCVBUAUBZMGZUCZVHAVFVBCDVJEVFRZVJRUDUTVNV
       HUTVGVNVDUTVEVBVFULZVFVBSGVPVEUEUTVAUFVBVFBSCFVOUGUHVBVFUIUJVMVIVDVKVMVDV