From e2da71f5b443537dbb0d1f09fc43a9b6dce4e2ba Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Fri, 6 Jan 2023 09:12:35 +0000 Subject: [PATCH] chore: git sha bump for a trivial change in Data/Nat/EvenOddRec (#1374) Co-authored-by: Scott Morrison --- Mathlib/Data/Nat/EvenOddRec.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Mathlib/Data/Nat/EvenOddRec.lean b/Mathlib/Data/Nat/EvenOddRec.lean index d567c83145e4d..746675cbe7b3a 100644 --- a/Mathlib/Data/Nat/EvenOddRec.lean +++ b/Mathlib/Data/Nat/EvenOddRec.lean @@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE. Authors: Stuart Presnell ! This file was ported from Lean 3 source module data.nat.even_odd_rec -! leanprover-community/mathlib commit ba2245edf0c8bb155f1569fd9b9492a9b384cde6 +! leanprover-community/mathlib commit 18a5306c091183ac90884daa9373fa3b178e8607 ! Please do not edit these lines, except to modify the commit id ! if you have ported upstream changes. -/