From 435d9d6187d55844af4a9f7354d49f52e892e790 Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Fri, 6 Jan 2023 09:00:36 +0000 Subject: [PATCH] chore: git sha bump for a trivial change in Data/Rat/Defs (#1372) Co-authored-by: Scott Morrison --- Mathlib/Data/Rat/Defs.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Mathlib/Data/Rat/Defs.lean b/Mathlib/Data/Rat/Defs.lean index 086459bf4cf63..b14396a9ce0d7 100644 --- a/Mathlib/Data/Rat/Defs.lean +++ b/Mathlib/Data/Rat/Defs.lean @@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE. Authors: Johannes Hölzl, Mario Carneiro ! This file was ported from Lean 3 source module data.rat.defs -! leanprover-community/mathlib commit fc2ed6f838ce7c9b7c7171e58d78eaf7b438fb0e +! leanprover-community/mathlib commit 18a5306c091183ac90884daa9373fa3b178e8607 ! Please do not edit these lines, except to modify the commit id ! if you have ported upstream changes. -/