Documentation
LeanPool
.
BrauerGroupNew
.
Mathlib
.
LinearAlgebra
Search
return to top
source
Imports
Init
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra.LinearIndependent
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra.Matrix
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra.Span
Imported by
Brauer Group New Mathlib LinearAlgebra
#
Import index for the Brauer group formalization.