Revision #2512 → #3133 · back to history
addedBanach algebras5050c96b50ff
addedC*-algebrasc01cb8a6b6c9
addedLie algebra as non-associative algebra8e729111d42d
modifiedAssociative K-algebra via ring homomorphismece42be054ca
| Field | From #2512 | To #3133 |
|---|
| mathlib.module | Mathlib.Algebra.Algebra.Basic | Mathlib.Algebra.Algebra.Defs |
modifiedR-algebra structure from ring homomorphism750ea3b85b46
| Field | From #2512 | To #3133 |
|---|
| mathlib.module | Mathlib.Algebra.Algebra.Basic | Mathlib.Algebra.Algebra.Defs |
addedEvery ring is a Z-algebra5eaae0f1bcd1