Zulip Chat Archive
Stream: Is there code for X?
Topic: left ideal
亚历山大大帝 (Apr 11 2025 at 20:51):
How to define a left ideal?
Junyan Xu (Apr 11 2025 at 20:52):
{R : Type*} [Ring R] (I : Ideal R) means I is a left ideal of R.
Last updated: May 02 2025 at 03:31 UTC