Documentation

LeanPool.BrauerGroupNew.Mathlib

Imports

Init
LeanPool.BrauerGroupNew.Mathlib.Algebra
LeanPool.BrauerGroupNew.Mathlib.Data
LeanPool.BrauerGroupNew.Mathlib.LinearAlgebra
LeanPool.BrauerGroupNew.Mathlib.RepresentationTheory
LeanPool.BrauerGroupNew.Mathlib.RingTheory

Imported by

Brauer Group New Mathlib #

Import index for the Brauer group formalization.