Documentation
LeanPool
.
BrauerGroupNew
.
Mathlib
.
Algebra
.
Algebra
Search
return to top
source
Imports
Init
LeanPool.BrauerGroupNew.Mathlib.Algebra.Algebra.Equiv
LeanPool.BrauerGroupNew.Mathlib.Algebra.Algebra.Subalgebra
Imported by
Brauer Group New Mathlib Algebra Algebra
#
Import index for the Brauer group formalization.