Documentation
LeanPool
.
BrauerGroupNew
.
Imports
Search
return to top
source
Imports
Init
LeanPool.BrauerGroupNew
LeanPool.BrauerGroupNew.AbsoluteIsoH2
LeanPool.BrauerGroupNew.AlgClosedUnion
LeanPool.BrauerGroupNew.BrauerGroup
LeanPool.BrauerGroupNew.BrauerOverR
LeanPool.BrauerGroupNew.CentralSimple
LeanPool.BrauerGroupNew.Centralizer
LeanPool.BrauerGroupNew.CrossProductAlgebra
LeanPool.BrauerGroupNew.DoubleCentralizer
LeanPool.BrauerGroupNew.ExtendScalar
LeanPool.BrauerGroupNew.FieldCat
LeanPool.BrauerGroupNew.FiniteField
LeanPool.BrauerGroupNew.FrobeniusTheorem
LeanPool.BrauerGroupNew.IsoSecond
LeanPool.BrauerGroupNew.LemmasAboutSimpleRing
LeanPool.BrauerGroupNew.Mathlib
LeanPool.BrauerGroupNew.MatrixCenterEquiv
LeanPool.BrauerGroupNew.MatrixEquivTensor
LeanPool.BrauerGroupNew.MoritaEquivalence
LeanPool.BrauerGroupNew.RelativeBrauer
LeanPool.BrauerGroupNew.SkolemNoether
LeanPool.BrauerGroupNew.SplittingOfCSA
LeanPool.BrauerGroupNew.Subfield
LeanPool.BrauerGroupNew.ToSecond
LeanPool.BrauerGroupNew.TwoSidedIdeal
LeanPool.BrauerGroupNew.Wedderburn
LeanPool.BrauerGroupNew.ZeroSevenFourE
LeanPool.BrauerGroupNew.Azumaya.Basic
LeanPool.BrauerGroupNew.Azumaya.Mul
LeanPool.BrauerGroupNew.Mathlib.Algebra
LeanPool.BrauerGroupNew.Mathlib.Data
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra
LeanPool.BrauerGroupNew.Mathlib.RepresentationTheory
LeanPool.BrauerGroupNew.Mathlib.RingTheory
LeanPool.BrauerGroupNew.Morita.ChangeOfRings
LeanPool.BrauerGroupNew.Morita.TensorProduct
LeanPool.BrauerGroupNew.Subfield.Defs
LeanPool.BrauerGroupNew.Subfield.FiniteDimensional
LeanPool.BrauerGroupNew.Subfield.Separable
LeanPool.BrauerGroupNew.Subfield.Splitting
LeanPool.BrauerGroupNew.Subfield.Subfield
LeanPool.BrauerGroupNew.Examples.ShortComplex.LeftHomologyMapData
LeanPool.BrauerGroupNew.Mathlib.Algebra.Algebra
LeanPool.BrauerGroupNew.Mathlib.Data.DFinsupp
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra.LinearIndependent
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra.Matrix
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra.Span
LeanPool.BrauerGroupNew.Mathlib.RepresentationTheory.Homological
LeanPool.BrauerGroupNew.Mathlib.RingTheory.Congruence
LeanPool.BrauerGroupNew.Mathlib.RingTheory.MatrixAlgebra
LeanPool.BrauerGroupNew.Mathlib.RingTheory.NonUnitalSubring
LeanPool.BrauerGroupNew.Mathlib.RingTheory.NonUnitalSubsemiring
LeanPool.BrauerGroupNew.Mathlib.RingTheory.TensorProduct
LeanPool.BrauerGroupNew.Mathlib.RingTheory.TwoSidedIdeal
LeanPool.BrauerGroupNew.Mathlib.Algebra.Algebra.Equiv
LeanPool.BrauerGroupNew.Mathlib.Algebra.Algebra.Subalgebra
LeanPool.BrauerGroupNew.Mathlib.Data.DFinsupp.Submonoid
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra.LinearIndependent.Defs
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra.Matrix.Charpoly
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra.Matrix.GeneralLinearGroup
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra.Span.Basic
LeanPool.BrauerGroupNew.Mathlib.RepresentationTheory.Homological.GroupCohomology
LeanPool.BrauerGroupNew.Mathlib.RingTheory.Congruence.Basic
LeanPool.BrauerGroupNew.Mathlib.RingTheory.Congruence.Defs
LeanPool.BrauerGroupNew.Mathlib.RingTheory.NonUnitalSubring.Defs
LeanPool.BrauerGroupNew.Mathlib.RingTheory.NonUnitalSubsemiring.Basic
LeanPool.BrauerGroupNew.Mathlib.RingTheory.NonUnitalSubsemiring.Defs
LeanPool.BrauerGroupNew.Mathlib.RingTheory.TensorProduct.Basic
LeanPool.BrauerGroupNew.Mathlib.RingTheory.TwoSidedIdeal.Basic
LeanPool.BrauerGroupNew.Mathlib.RingTheory.TwoSidedIdeal.Kernel
LeanPool.BrauerGroupNew.Mathlib.RingTheory.TwoSidedIdeal.Lattice
LeanPool.BrauerGroupNew.Mathlib.RingTheory.TwoSidedIdeal.Operations
LeanPool.BrauerGroupNew.Mathlib.Algebra.Algebra.Subalgebra.Basic
LeanPool.BrauerGroupNew.Mathlib.Algebra.Algebra.Subalgebra.Directed
LeanPool.BrauerGroupNew.Mathlib.Algebra.Algebra.Subalgebra.Lattice
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra.Matrix.Charpoly.Basic
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra.Matrix.GeneralLinearGroup.Basic
LeanPool.BrauerGroupNew.Mathlib.RepresentationTheory.Homological.GroupCohomology.LowDegree
Imported by