From 8a65b4a53e81aadc8f157660a7442553decd7728 Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Fri, 6 Jan 2023 08:51:24 +0000 Subject: [PATCH] chore: git sha bump for a trivial change in Data/Set/Intervals/Group (#1370) Co-authored-by: Scott Morrison --- Mathlib/Data/Set/Intervals/Group.lean | 2 +- Mathlib/Data/Set/NAry.lean | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Mathlib/Data/Set/Intervals/Group.lean b/Mathlib/Data/Set/Intervals/Group.lean index 497c924dcf983..0c513901098ee 100644 --- a/Mathlib/Data/Set/Intervals/Group.lean +++ b/Mathlib/Data/Set/Intervals/Group.lean @@ -5,7 +5,7 @@ Authors: Johannes Hölzl, Mario Carneiro, Patrick Massot, Yury Kudryashov, Rémy Ported by: Winston Yin ! This file was ported from Lean 3 source module data.set.intervals.group -! leanprover-community/mathlib commit aba57d4d3dae35460225919dcd82fe91355162f9 +! leanprover-community/mathlib commit 18a5306c091183ac90884daa9373fa3b178e8607 ! Please do not edit these lines, except to modify the commit id ! if you have ported upstream changes. -/ diff --git a/Mathlib/Data/Set/NAry.lean b/Mathlib/Data/Set/NAry.lean index b4228c6682ca8..221b98883d03c 100644 --- a/Mathlib/Data/Set/NAry.lean +++ b/Mathlib/Data/Set/NAry.lean @@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE. Authors: Floris van Doorn ! This file was ported from Lean 3 source module data.set.n_ary -! leanprover-community/mathlib commit d6aae1bcbd04b8de2022b9b83a5b5b10e10c777d +! leanprover-community/mathlib commit 4a1bf94891f08983bb49f7ac53b85ecf8c90250a ! Please do not edit these lines, except to modify the commit id ! if you have ported upstream changes. -/