Zulip Chat Archive
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 02 2025 at 03:31 UTC