Stream: Is there code for X?
Topic: Composition ring
Nicolò Cavalleri (Aug 08 2020 at 16:16):
Do we have anything like composition rings in mathlib?
Adam Topaz (Aug 08 2020 at 23:36):
What's a composition ring? Is it something like the endomorphism ring of an abelian group? If so, there is docs#module.endomorphism_algebra
Last updated: May 17 2021 at 16:26 UTC