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