leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/6042e3db-2760-4fc6-a008-b7e413ca740f) for commit 627bf3ad22c5bc22738e391fcc2e8f85ff6dfc8d. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/e108ed5c-73c9-4e1b-a9c6-cd56000eb34d/to/6042e3db-2760-4fc6-a008-b7e413ca740f) against commit 49e1c29de1b78922c62e6e0cd04280bc742897f6.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/d4084fa1-07e6-4cdb-a861-b8692396488a) for commit 1ad926c6a423c7138f5d6b7abec7b4b70ffb2d64. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/edc51c75-69dc-47c4-a92a-1101babbaec5/to/d4084fa1-07e6-4cdb-a861-b8692396488a) against commit 357e37bbf050a1bf9d5db36bb4ee850e12e3e855: ```diff Benchmark Metric Change ====================================================================== - ~Mathlib.LinearAlgebra.Matrix.SesquilinearForm instructions 6.1% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/7425602a-e23b-47e9-ad93-9b845ce5acb1) for commit 478890085040db180ecc9c35e252403f93333df7. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/3799be21-4c89-4c7e-a9f3-5bc84732c10a/to/7425602a-e23b-47e9-ad93-9b845ce5acb1) against commit b4cd3132fe069277f225fde5e0a5ecba95b9a57f: ```diff Benchmark Metric Change ====================================================================== - ~Mathlib.LinearAlgebra.Matrix.SesquilinearForm instructions 13.0% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/a73d05f9-0dd0-4142-843d-989ba86b59fd) for commit 390083a20bb91595e2baefdb18bcad0995a325a9. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/3799be21-4c89-4c7e-a9f3-5bc84732c10a/to/a73d05f9-0dd0-4142-843d-989ba86b59fd) against commit b4cd3132fe069277f225fde5e0a5ecba95b9a57f: ```diff Benchmark Metric Change ====================================================================== - ~Mathlib.LinearAlgebra.Matrix.SesquilinearForm instructions 11.3% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/f9c10744-91f5-4891-8b5a-828c5c32a581) for commit 7ac91b416290d11ba970ecb1f2fa15b0ff55080e. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/8c87b415-c5a2-43e2-838e-6705d3da7076/to/f9c10744-91f5-4891-8b5a-828c5c32a581) against commit 98151c27f6edb34c46ed3fdfa25b67c402600ba5: ```diff Benchmark Metric Change ====================================================================== - ~Mathlib.LinearAlgebra.Matrix.SesquilinearForm instructions 29.4% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/c0e0b093-e799-412e-94b7-3ac93bb88a4f) for commit 6f6a726b5d6f36a678ab71c052f191d88fd44473. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/2a6e9133-318c-4980-b3ea-a5f63b1aa628/to/c0e0b093-e799-412e-94b7-3ac93bb88a4f) against commit 70523677f8db8e24034c887ba807ac9fc88d6103: ```diff Benchmark Metric Change ====================================================================== - ~Mathlib.LinearAlgebra.Matrix.SesquilinearForm instructions 31.4% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/67b394ac-9c39-42d1-854a-39ac91ee2e48) for commit ad895f31658261254c22f03502b7c96917c2eb93. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/76e9de20-9832-4960-8c37-10466272b92e/to/67b394ac-9c39-42d1-854a-39ac91ee2e48) against commit d4e8dd237c13d49d33bd63c45199b142b7d5f82b.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/34c43acb-944a-4e2b-92d5-700514026ec4) for commit 70b3b5f55ab9bb0b414aec18ff4257a5aaad716f. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/24b3a4b7-80df-4ab1-a86b-8ac3111d16bb/to/34c43acb-944a-4e2b-92d5-700514026ec4) against commit f4da8e56e23fe10cd2184b17803b8db2caa4155e.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/df47292b-ecfb-4121-a429-f118a504a874) for commit d7460b6e3000c2d477b03bc762ac9d28c9ef70f9. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/29e96f21-7069-45b1-94ae-6b055f819bb5/to/df47292b-ecfb-4121-a429-f118a504a874) against commit 91e688bd4a6eded8f4e52afa18f98d9c0f5c9475.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/cb6b1d54-80b3-488f-907b-8a7ef577d01b) for commit 5dee5a9ca4d9591572a7429eb65bf8b550b379ba. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/32df4006-a9cf-4857-82a7-6795ebda0170/to/cb6b1d54-80b3-488f-907b-8a7ef577d01b) against commit 8529a6466928bc66b13cb815424a8a7b9de9f39d: ```diff Benchmark Metric Change ======================================================================================= + ~Batteries.Data.Array.Lemmas instructions -87.8% + ~Batteries.Data.List.Lemmas instructions -40.2% - ~Mathlib.Algebra.Category.ModuleCat.ChangeOfRings...