Update LeanCamCombi/ProbLYM.lean

Co-authored-by: Yaël Dillies <[email protected]>

Author: ctchou

LeanCamCombi/ProbLYM.lean

@@ -1,7 +1,7 @@
 /-
 Copyright (c) 2024 Ching-Tsun Chou, Chris Wong. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Ching-Tsun Chou and Chris Wong
+Authors: Ching-Tsun Chou, Chris Wong
 -/
 
 import Mathlib.Data.Fintype.Perm