InstallerInternalRepository, "image repository for the installer (internal)") } 169 changes: 169 additions & 0 deletions 169 internal/integration/registry_test.go Original file line numberDiff line numberDiff line change @@ -0,0 +1,169 @@ // This Source Code Form is subject to the terms...
Import changes for modified files Dependency changes FileBase CountHead CountChange Mathlib.LinearAlgebra.Dimension.DivisionRing 1282 1152 -130 (-10.14%) Mathlib.LinearAlgebra.FiniteDimensional 1289 1160 -129 (-10.01%) Mathlib.LinearAlgebra.Dimension.Finite 1272 1147 -125 (-9.83%) Mathlib.LinearAlg...
Move the sections about sub, union and inter under the sections about count and filter Multiset.countP_sub now has a different argument order to match List.countP_diff Golf List.count_sub Name the ...
Import changes for all files FilesImport difference 2868 files Mathlib.Algebra.Algebra.Basic Mathlib.Algebra.Algebra.Bilinear Mathlib.Algebra.Algebra.Equiv Mathlib.Algebra.Algebra.Field Mathlib.Algebra.Algebra.Hom.Rat Mathlib.Algebra.Algebra.Hom Mathlib.Algebra.Algebra.NonUnitalHom Mathlib.Algebra....
The Subobject.toNonUnitalSubobject and NonUnitalSubobject.toSubobject functions (for Subobject = Subsemiring, Subring, Subalgebra, StarSubalgebra) were in Algebra.Algebra.Subalgebra.Unitization ins...
Mathlib.LinearAlgebra.BilinearForm.DualLattice Mathlib.LinearAlgebra.BilinearForm.Hom Mathlib.LinearAlgebra.BilinearForm.Orthogonal Mathlib.LinearAlgebra.BilinearForm.Properties Mathlib.LinearAlgebra.BilinearForm.TensorProduct Mathlib.LinearAlgebra.Charpoly.BaseChange Mathlib.LinearAlgebra.Charpoly.Basic Mathlib...
Mathlib.Algebra.Lie.TraceForm Mathlib.Algebra.Lie.UniversalEnveloping Mathlib.Algebra.Lie.Weights.Basic Mathlib.Algebra.Lie.Weights.Cartan Mathlib.Algebra.Lie.Weights.Chain Mathlib.Algebra.Lie.Weights.Killing Mathlib.Algebra.Lie.Weights.Linear Mathlib.Algebra.Lie.Weights.RootSystem Mathlib.Algebra....