Update LeanCamCombi/ProbLYM.lean

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

Author: ctchou

LeanCamCombi/ProbLYM.lean

@@ -1,5 +1,5 @@
 /-
-Copyright (c) 2024-present Ching-Tsun Chou and Chris Wong. All rights reserved.
+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
 -/