Documentation
LeanPool
.
ArtinWedderburn
.
Imports
Search
return to top
source
Imports
Init
LeanPool.ArtinWedderburn
LeanPool.ArtinWedderburn.ArtinWedderburnTheorem
LeanPool.ArtinWedderburn.Auxiliary
LeanPool.ArtinWedderburn.CornerCornerLemma
LeanPool.ArtinWedderburn.CornerRing
LeanPool.ArtinWedderburn.IdealProd
LeanPool.ArtinWedderburn.Idempotents
LeanPool.ArtinWedderburn.MatrixUnits
LeanPool.ArtinWedderburn.MinIdeals
LeanPool.ArtinWedderburn.NiceIdeals
LeanPool.ArtinWedderburn.NonUnitalToUnital
LeanPool.ArtinWedderburn.PrimeRing
LeanPool.ArtinWedderburn.SetProd
Imported by