2023 -> 2024

Oops, I still was in 2023 ;-)
avekens · Jan 3, 2024 · e4d1316 · e4d1316
1 parent c360af5
commit e4d1316
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/set.mm b/set.mm
@@ -418147,7 +418147,7 @@ edge remains odd if it was odd before (regarding the subgraphs induced
        neighbor.  This condition is called the _friendship condition_ , see
        definition in [MertziosUnger] p. 152.  (Contributed by Alexander van der
        Vekens and Mario Carneiro, 2-Oct-2017.)  (Revised by AV, 29-Mar-2021.)
-       (Revised by AV, 3-Jan-2023.) $)
+       (Revised by AV, 3-Jan-2024.) $)
     df-frgr $a |- FriendGraph = { g e. USGraph |
                                [. ( Vtx ` g ) / v ]. [. ( Edg ` g ) / e ].
                                A. k e. v A. l e. ( v \ { k } )
@@ -418160,7 +418160,7 @@ edge remains odd if it was odd before (regarding the subgraphs induced
     isfrgr.e $e |- E = ( Edg ` G ) $.
     $( The property of being a friendship graph.  (Contributed by Alexander van
        der Vekens, 4-Oct-2017.)  (Revised by AV, 29-Mar-2021.)  (Revised by AV,
-       3-Jan-2023.) $)
+       3-Jan-2024.) $)
     isfrgr $p |- ( G e. FriendGraph <-> ( G e. USGraph
                              /\ A. k e. V A. l e. ( V \ { k } )
                                 E! x e. V { { x , k } , { x , l } } C_ E ) ) $=