Label change

avekens · Feb 23, 2024 · 921783d · 921783d
1 parent 267deb5
commit 921783d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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