leanprover-bot

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/b8ff2a95-4339-4eac-b98e-0e754fe9e949) for commit 075fe7eca3ab7f44ea1162d8e184071ffcae929c. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/450d0757-b4fd-406a-b560-b6fa6ff1ba5f/to/b8ff2a95-4339-4eac-b98e-0e754fe9e949) against commit cd1f49389b69f1e427def7a7c0ddc46f6a7da7dd: ```diff Benchmark Metric Change ===================================================== - build .olean serialization 9.6% - build import 11.1% -...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/0c8ac2c3-edcf-4c7e-889f-96064567983a) for commit fcc7fe288b254fa5f169545fa11e02ed254fe917. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/3733a99e-59ad-45b6-8a7a-53c083566603/to/0c8ac2c3-edcf-4c7e-889f-96064567983a) against commit b14fe2c87e1a03a66514f49dc1f50d1c06f5e74d.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/2884f6a5-d73e-4534-86a2-d639095b24da) for commit f76c7bed9018e2325de08eaff56246ecd4cb608d. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/8bd63e47-85ec-4422-a0cc-b562014650b8/to/2884f6a5-d73e-4534-86a2-d639095b24da) against commit e08227422dbd16adf97e1056bc1b610bf7c32ac5: ```diff Benchmark Metric Change ======================================================================== - ~Mathlib.FieldTheory.Subfield instructions 15.8% - ~Mathlib.LinearAlgebra.Matrix.SpecialLinearGroup instructions 7.7% ```

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/0c2d8124-56c7-451d-91be-69fdd3747969) for commit 02e5f990e1584126610890b97f8b4be4efec4214. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/b45973c3-31bc-4235-b80b-90592ed84b81) for commit f31997b25e8c090645e512ba514fe29a9a427c8f. The entire run failed. Found no significant differences.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/c57e1eee-7f86-4b67-a82c-46774bfc853f) for commit ce19211a584fc4db8bd8c69eea1e72f34fc0f87f. There were [no significant changes](http://speed.lean-fro.org/mathlib4/compare/1fa7b43f-361e-40fa-90a0-aaa1a6372cee/to/c57e1eee-7f86-4b67-a82c-46774bfc853f) against commit 69fd837a71463d8905afbf335b908a035aa11a7e.

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/5c0265b7-6a83-419a-9258-1017636ece6d) for commit 3e91dd17dcebf31f5a53cbe7eacf09e933195294. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/1fa7b43f-361e-40fa-90a0-aaa1a6372cee/to/5c0265b7-6a83-419a-9258-1017636ece6d) against commit 69fd837a71463d8905afbf335b908a035aa11a7e: ```diff Benchmark Metric Change ============================================================================ + ~Mathlib.AlgebraicGeometry.GammaSpecAdjunction instructions -11.0% + ~Mathlib.AlgebraicGeometry.Spec instructions -13.0% + ~Mathlib.FieldTheory.AbelRuffini...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/f347a7c9-d5c8-4c37-9856-525d319f20b1) for commit 27f7d4702a224e4d8e822ca2333d527e5b334ab2. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/1fa7b43f-361e-40fa-90a0-aaa1a6372cee/to/f347a7c9-d5c8-4c37-9856-525d319f20b1) against commit 69fd837a71463d8905afbf335b908a035aa11a7e: ```diff Benchmark Metric Change ============================================================================ + ~Mathlib.AlgebraicGeometry.GammaSpecAdjunction instructions -11.0% + ~Mathlib.AlgebraicGeometry.Spec instructions -13.0% + ~Mathlib.FieldTheory.AbelRuffini...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/0be42ab7-df41-4ea7-93c9-24da90211a38) for commit d633325c810cca0546413f60eaae7b3cc3da083f. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/1fa7b43f-361e-40fa-90a0-aaa1a6372cee/to/0be42ab7-df41-4ea7-93c9-24da90211a38) against commit 69fd837a71463d8905afbf335b908a035aa11a7e: ```diff Benchmark Metric Change ============================================================================ + ~Mathlib.AlgebraicGeometry.GammaSpecAdjunction instructions -11.0% + ~Mathlib.AlgebraicGeometry.Spec instructions -13.0% + ~Mathlib.FieldTheory.AbelRuffini...

Here are the [benchmark results](http://speed.lean-fro.org/mathlib4/run-detail/abf54b58-416b-48b3-8ff0-07c0e038345e) for commit 5b956b683359c1f609afdd04aa67ffe08e563b47. There were [significant changes](http://speed.lean-fro.org/mathlib4/compare/1fa7b43f-361e-40fa-90a0-aaa1a6372cee/to/abf54b58-416b-48b3-8ff0-07c0e038345e) against commit 69fd837a71463d8905afbf335b908a035aa11a7e: ```diff Benchmark Metric Change ============================================================================ + ~Mathlib.Algebra.Algebra.Subalgebra.Unitization instructions -14.7% + ~Mathlib.Algebra.Order.Nonneg.Ring instructions -30.7% + ~Mathlib.AlgebraicGeometry.GammaSpecAdjunction...